{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T07:28:51Z","timestamp":1770449331230,"version":"3.49.0"},"reference-count":0,"publisher":"River Publisher","isbn-type":[{"value":"9788793519817","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.13052\/rp-9788793519817","type":"book-chapter","created":{"date-parts":[[2017,6,30]],"date-time":"2017-06-30T20:30:18Z","timestamp":1498854618000},"page":"1-412","source":"Crossref","is-referenced-by-count":28,"title":["Behavioural Types: from Theory to Tools"],"prefix":"10.13052","author":[{"given":"Simon","family":"Gay","sequence":"first","affiliation":[]},{"given":"Ant\u00f3nio","family":"Ravara","sequence":"first","affiliation":[]}],"member":"5195","container-title":["Behavioural Types: from Theory to Tools"],"original-title":[],"language":"en","deposited":{"date-parts":[[2017,6,30]],"date-time":"2017-06-30T20:30:18Z","timestamp":1498854618000},"score":1,"resource":{"primary":{"URL":"http:\/\/riverpublishers.com\/dissertations_xml\/9788793519817\/9788793519817.xml"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9788793519817"],"references-count":0,"URL":"https:\/\/doi.org\/10.13052\/rp-9788793519817","relation":{},"subject":[],"published":{"date-parts":[[2017]]}}}