{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,3]],"date-time":"2025-11-03T07:31:07Z","timestamp":1762155067812,"version":"build-2065373602"},"reference-count":6,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1987,9,1]],"date-time":"1987-09-01T00:00:00Z","timestamp":557452800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1987,9,1]],"date-time":"1987-09-01T00:00:00Z","timestamp":557452800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Data & Knowledge Engineering"],"published-print":{"date-parts":[[1987,9]]},"DOI":"10.1016\/0169-023x(87)90029-2","type":"journal-article","created":{"date-parts":[[2003,12,2]],"date-time":"2003-12-02T07:08:25Z","timestamp":1070348905000},"page":"177-190","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":1,"title":["Specification of information systems operations in INFOMOD"],"prefix":"10.1016","volume":"2","author":[{"given":"D.A.","family":"Jardine","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.J.","family":"van Griethuysen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0169-023X(87)90029-2_BIB1","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","article-title":"Communicating sequential processes","volume":"21","author":"Hoare","year":"1978","journal-title":"Comm. ACM"},{"key":"10.1016\/0169-023X(87)90029-2_BIB2","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/0169-023X(87)90009-7","article-title":"A logic-based information modelling language","volume":"2","author":"Jardine","year":"1987","journal-title":"Data and Knowledge Engrg."},{"key":"10.1016\/0169-023X(87)90029-2_BIB3","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","article-title":"Time, clocks, and the ordering of events in a distributed system","volume":"2","author":"Lamport","year":"1978","journal-title":"Comm. ACM"},{"key":"10.1016\/0169-023X(87)90029-2_BIB4","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1145\/357162.357163","article-title":"Synchronization in distributed programs","volume":"4","author":"Schneider","year":"1982","journal-title":"ACM Trans. Progrrmming Languages and Systems"},{"key":"10.1016\/0169-023X(87)90029-2_BIB5_1","first-page":"261","article-title":"Der Wahrheitsbegriff in den formalisieren Sprachen","volume":"1","author":"Tarski","year":"1936","journal-title":"Studia Philos."},{"key":"10.1016\/0169-023X(87)90029-2_BIB5_2","series-title":"Logic, Semantics, Metamathematics","article-title":"The concept of truth in formalized languages","author":"Tarski","year":"1983"}],"container-title":["Data & Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169023X87900292?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169023X87900292?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,11,3]],"date-time":"2025-11-03T07:27:20Z","timestamp":1762154840000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0169023X87900292"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,9]]},"references-count":6,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1987,9]]}},"alternative-id":["0169023X87900292"],"URL":"https:\/\/doi.org\/10.1016\/0169-023x(87)90029-2","relation":{},"ISSN":["0169-023X"],"issn-type":[{"type":"print","value":"0169-023X"}],"subject":[],"published":{"date-parts":[[1987,9]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Specification of information systems operations in INFOMOD","name":"articletitle","label":"Article Title"},{"value":"Data & Knowledge Engineering","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/0169-023X(87)90029-2","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1987 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}