{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,9]],"date-time":"2024-05-09T07:52:45Z","timestamp":1715241165639},"reference-count":33,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1988,12,1]],"date-time":"1988-12-01T00:00:00Z","timestamp":596937600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":8994,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Computation"],"published-print":{"date-parts":[[1988,12]]},"DOI":"10.1016\/0890-5401(88)90020-x","type":"journal-article","created":{"date-parts":[[2004,12,1]],"date-time":"2004-12-01T19:24:20Z","timestamp":1101929060000},"page":"210-256","source":"Crossref","is-referenced-by-count":36,"title":["Compositional semantics for real-time distributed computing"],"prefix":"10.1016","volume":"79","author":[{"given":"R.","family":"Koymans","sequence":"first","affiliation":[]},{"given":"R.K.","family":"Shyamasundar","sequence":"additional","affiliation":[]},{"given":"W.P.","family":"de Roever","sequence":"additional","affiliation":[]},{"given":"R.","family":"Gerth","sequence":"additional","affiliation":[]},{"given":"S.","family":"Arun-Kumar","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0890-5401(88)90020-X_BIB1","article-title":"The Programming Language Ada Reference Manual","volume":"Vol. 155","author":"Ada","year":"1983"},{"key":"10.1016\/0890-5401(88)90020-X_BIB2","series-title":"Seminar on Concurrency","first-page":"389","article-title":"The ESTEREL synchronous programming language and its mathematical semantics","volume":"Vol. 197","author":"Berry","year":"1985"},{"key":"10.1016\/0890-5401(88)90020-X_BIB3","series-title":"8th ACM Symp. on Operating Systems Principles","first-page":"1","article-title":"Proving real-time properties of programs with temporal logic","author":"Bernstein","year":"1981"},{"key":"10.1016\/0890-5401(88)90020-X_BIB4","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","article-title":"A theory of communicating sequential processes","volume":"31","author":"Brookes","year":"1984","journal-title":"J. Assoc. Comput. Mach."},{"key":"10.1016\/0890-5401(88)90020-X_BIB5","series-title":"16th ACM Symp. Theory of Comput.","first-page":"51","article-title":"Now you may compose temporal logic specifications","author":"Barringer","year":"1984"},{"key":"10.1016\/0890-5401(88)90020-X_BIB6","article-title":"An analytical description of CHILL, the CCITT high level language VI","volume":"Vol. 128","author":"Branquart","year":"1982"},{"key":"10.1016\/0890-5401(88)90020-X_BIB7","series-title":"Towards a Formal Description of Ada","volume":"Vol. 98","year":"1980"},{"key":"10.1016\/0890-5401(88)90020-X_BIB8","author":"Boucher","year":"1986"},{"issue":"No. 9","key":"10.1016\/0890-5401(88)90020-X_BIB9","article-title":"A case study: The space shuttle software system","volume":"27","author":"CACM","year":"1984","journal-title":"Comm. ACM"},{"key":"10.1016\/0890-5401(88)90020-X_BIB10","article-title":"S\u00e9mantique Math\u00e9matique de Primitives Temps Reel","author":"Camerini","year":"1982"},{"key":"10.1016\/0890-5401(88)90020-X_BIB11","article-title":"Communication with an Automatic Computer","author":"Dijkstra","year":"1959"},{"key":"10.1016\/0890-5401(88)90020-X_BIB12","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0304-3975(84)90022-7","article-title":"A linear-history semantics for languages for distributed programming","volume":"32","author":"Francez","year":"1984","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0890-5401(88)90020-X_BIB13","series-title":"14th Int. Colloq. Automata. Lang. Programming","first-page":"95","article-title":"A timed failures model for extended communicating processes","volume":"Vol. 267","author":"Gerth","year":"1987"},{"key":"10.1016\/0890-5401(88)90020-X_BIB14","series-title":"A maximal parallelism semantics for Occam, notes","author":"Gerth","year":"1985"},{"key":"10.1016\/0890-5401(88)90020-X_BIB15","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","article-title":"Statecharts: A visual formalism for complex systems","volume":"8","author":"Harel","year":"1987","journal-title":"Sci. Comput. Programming"},{"key":"10.1016\/0890-5401(88)90020-X_BIB16","series-title":"14th ACM Principles of Programming Lang","first-page":"223","article-title":"Full abstraction of a real-time denotational semantics for an OCCAM-like language","author":"Huizing","year":"1987"},{"key":"10.1016\/0890-5401(88)90020-X_BIB17","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0304-3975(83)90081-6","article-title":"A more complete model of communicating processes","volume":"26","author":"Hehner","year":"1983","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0890-5401(88)90020-X_BIB18","author":"Halpern","year":"1985"},{"issue":"No. 8","key":"10.1016\/0890-5401(88)90020-X_BIB19","doi-asserted-by":"crossref","DOI":"10.1145\/359576.359585","article-title":"Communicating sequential processes","volume":"21","author":"Hoare","year":"1978","journal-title":"Comm. ACM"},{"key":"10.1016\/0890-5401(88)90020-X_BIB20","series-title":"Proceedings of PARLE","first-page":"315","article-title":"A compositional proof theory for real-time distributed message passing","volume":"Vol. 259","author":"Hooman","year":"1987"},{"key":"10.1016\/0890-5401(88)90020-X_BIB21","article-title":"A compositional proof-system for an OCCAM-like real-time language","author":"Hooman","year":"1988"},{"key":"10.1016\/0890-5401(88)90020-X_BIB22","author":"Jones","year":"1982","journal-title":"D.Phil. thesis"},{"key":"10.1016\/0890-5401(88)90020-X_BIB23","series-title":"Denotational semantics for real-time programming constructs in concurrent languages, notes","author":"Koymans","year":"1984"},{"key":"10.1016\/0890-5401(88)90020-X_BIB24","series-title":"2nd ACM Principles of Distrib. Comput.","first-page":"187","article-title":"Real-time programming and asynchronous message passing","author":"Koymans","year":"1983"},{"issue":"No. 4","key":"10.1016\/0890-5401(88)90020-X_BIB25","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1109\/TSE.1981.230844","article-title":"Proofs of networks of processes","volume":"SE-7","author":"Misra","year":"1981","journal-title":"IEEE Trans. Software Engrg."},{"key":"10.1016\/0890-5401(88)90020-X_BIB26","series-title":"Proceedings, Convegno di Informatica Teorica","article-title":"An approach to the semantics of parallel programs","author":"Milner","year":"1973"},{"key":"10.1016\/0890-5401(88)90020-X_BIB27","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","article-title":"Calculi for synchrony and asynchrony","volume":"25","author":"Milner","year":"1983","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0890-5401(88)90020-X_BIB28","author":"OCCAM","year":"1984"},{"key":"10.1016\/0890-5401(88)90020-X_BIB29","first-page":"169","article-title":"On the algorithmic properties of concurrent programs","volume":"Vol. 125","author":"Salwicki","year":"1981"},{"key":"10.1016\/0890-5401(88)90020-X_BIB30","series-title":"Semantics of real-time Ada, notes","author":"Shyamasundar","year":"1983"},{"key":"10.1016\/0890-5401(88)90020-X_BIB31","series-title":"12th Int. Colloq. Automata. Lang. Programming","first-page":"509","article-title":"Compositionality and concurrent networks: Soundness and completeness of a proofsystem","volume":"Vol. 194","author":"Zwiers","year":"1985"},{"key":"10.1016\/0890-5401(88)90020-X_BIB32","article-title":"Compositionality, Concurrency and Partial Correctness: Proof Theories for Networks of Processes, and Their Connection","author":"Zwiers","year":"1988"},{"key":"10.1016\/0890-5401(88)90020-X_BIB33","article-title":"Real-Time Semantics","author":"Zijlstra","year":"1984"}],"container-title":["Information and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:089054018890020X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:089054018890020X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T13:27:50Z","timestamp":1549027670000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/089054018890020X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,12]]},"references-count":33,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1988,12]]}},"alternative-id":["089054018890020X"],"URL":"https:\/\/doi.org\/10.1016\/0890-5401(88)90020-x","relation":{},"ISSN":["0890-5401"],"issn-type":[{"value":"0890-5401","type":"print"}],"subject":[],"published":{"date-parts":[[1988,12]]}}}