{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,12]],"date-time":"2024-01-12T01:22:32Z","timestamp":1705022552062},"reference-count":21,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1984,6,1]],"date-time":"1984-06-01T00:00:00Z","timestamp":454896000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,18]],"date-time":"2013-07-18T00:00:00Z","timestamp":1374105600000},"content-version":"vor","delay-in-days":10639,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Control"],"published-print":{"date-parts":[[1984,6]]},"DOI":"10.1016\/s0019-9958(84)80048-0","type":"journal-article","created":{"date-parts":[[2005,5,6]],"date-time":"2005-05-06T22:48:44Z","timestamp":1115419724000},"page":"202-246","source":"Crossref","is-referenced-by-count":19,"title":["Semantics of communicating processes"],"prefix":"10.1016","volume":"61","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[]}],"member":"78","reference":[{"issue":"No. 1\/2","key":"10.1016\/S0019-9958(84)80048-0_bib1","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1016\/S0019-9958(82)91250-5","article-title":"Processes and the Denotational Semantics of Communication","volume":"54","author":"de Bakker","year":"1982","journal-title":"Inform. and Control"},{"issue":"No. 2","key":"10.1016\/S0019-9958(84)80048-0_bib2","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0020-0190(80)90009-5","article-title":"Transformational semantics for concurrent programs","volume":"11","author":"Broy","year":"1980","journal-title":"Inform. Process. Lett."},{"key":"10.1016\/S0019-9958(84)80048-0_bib3","series-title":"Internat. Federation for Inform. Process. TC2 Working Conference on Formal Description of Programming Concepts II","first-page":"125","article-title":"Fixed point theory for communication and concurrency","author":"Broy","year":"1983"},{"key":"10.1016\/S0019-9958(84)80048-0_bib4","series-title":"Extensional behavior of concurrent, nondeterministic, concurrent systems,","year":"1985"},{"key":"10.1016\/S0019-9958(84)80048-0_bib5","series-title":"Formalization of Programming Concepts","first-page":"244","article-title":"On the algebraic extension of abstract data types","author":"Broy","year":"1981"},{"key":"10.1016\/S0019-9958(84)80048-0_bib6","series-title":"Internat. Federation for Inform. Process. TC2 Working Conference on Formal Description of Programming Concepts II","first-page":"171","article-title":"On the algebraic specification of finitary infinite communicating sequential p rocesses","author":"Broy","year":"1983"},{"key":"10.1016\/S0019-9958(84)80048-0_bib7","series-title":"A Discipline of Programming","author":"Dijkstra","year":"1976"},{"issue":"No. 3","key":"10.1016\/S0019-9958(84)80048-0_bib8","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1016\/0022-0000(79)90006-0","article-title":"Semantics of nondeterminism, concurrency, and communication","volume":"19","author":"Francez","year":"1979","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/S0019-9958(84)80048-0_bib9","series-title":"Proc. 8th Mathematical Foundations of Computer Science","article-title":"Full abstraction for simple parallel programs","author":"Hennessy","year":"1979"},{"key":"10.1016\/S0019-9958(84)80048-0_bib10","series-title":"Internat. Colloq. Automata, Languages, and Programming '80","first-page":"299","article-title":"On observing nondeterminism and concurrency","author":"Hennessy","year":"1980"},{"key":"10.1016\/S0019-9958(84)80048-0_bib11","series-title":"Proc. 9th Mathematical Foundations of Computer Science","first-page":"261","article-title":"A term model for CCS","author":"Hennessy","year":"1980"},{"issue":"No. 8","key":"10.1016\/S0019-9958(84)80048-0_bib12","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\/S0019-9958(84)80048-0_bib13","article-title":"A Theory of Communicating Sequential Processes","author":"Hoare","year":"1981"},{"key":"10.1016\/S0019-9958(84)80048-0_bib14","series-title":"Proc. Symposium on Software Engineering Environments","first-page":"92","article-title":"COSY: An environment for development and analysis of concurrent distributed systems","author":"Lauer","year":"1980"},{"key":"10.1016\/S0019-9958(84)80048-0_bib15","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","article-title":"A Calculus of Communicating Systems","author":"Milner","year":"1980"},{"key":"10.1016\/S0019-9958(84)80048-0_bib16","article-title":"On Relating Synchrony and Asynchrony","author":"Milner","year":"1980"},{"key":"10.1016\/S0019-9958(84)80048-0_bib17","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","article-title":"Petri nets, event structures, and domains, Part 1","volume":"13","author":"Nielsen","year":"1981","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0019-9958(84)80048-0_bib18","series-title":"Internat. Colloq. Automata, Languages, and Programming 83","article-title":"Specification-oriented semantics for communicating processes","author":"Olderog","year":"1983"},{"key":"10.1016\/S0019-9958(84)80048-0_bib19","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1137\/0205035","article-title":"A powerdomain construction","volume":"5","author":"Plotkin","year":"1976","journal-title":"SIAM J. Comput."},{"key":"10.1016\/S0019-9958(84)80048-0_bib20","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0022-0000(78)90048-X","article-title":"Power domains","volume":"16","author":"Smyth","year":"1978","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/S0019-9958(84)80048-0_bib21","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0304-3975(80)90004-3","article-title":"Behaviors of concurrent systems","volume":"11","author":"Winkowski","year":"1980","journal-title":"Theoret. Comput. Sci."}],"container-title":["Information and Control"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0019995884800480?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0019995884800480?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,18]],"date-time":"2019-02-18T09:55:47Z","timestamp":1550483747000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0019995884800480"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,6]]},"references-count":21,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1984,6]]}},"alternative-id":["S0019995884800480"],"URL":"https:\/\/doi.org\/10.1016\/s0019-9958(84)80048-0","relation":{},"ISSN":["0019-9958"],"issn-type":[{"value":"0019-9958","type":"print"}],"subject":[],"published":{"date-parts":[[1984,6]]}}}