{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T15:28:32Z","timestamp":1720625312625},"reference-count":14,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2008,4,1]],"date-time":"2008-04-01T00:00:00Z","timestamp":1207008000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":1945,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2008,4]]},"DOI":"10.1016\/j.entcs.2008.04.004","type":"journal-article","created":{"date-parts":[[2008,4,28]],"date-time":"2008-04-28T07:43:38Z","timestamp":1209368618000},"page":"55-81","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Parallel Processes with Implicit Computational Capital"],"prefix":"10.1016","volume":"209","author":[{"given":"J.A.","family":"Bergstra","sequence":"first","affiliation":[]},{"given":"C.A.","family":"Middelburg","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.entcs.2008.04.004_bib001","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/0304-3975(87)90052-1","article-title":"On the consistency of Koomen's fair abstraction rule","volume":"51","author":"Baeten","year":"1987","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/j.entcs.2008.04.004_bib002","article-title":"Process Algebra","volume":"18","author":"Baeten","year":"1990"},{"key":"10.1016\/j.entcs.2008.04.004_bib003","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","article-title":"Process algebra for synchronous communication","volume":"60","author":"Bergstra","year":"1984","journal-title":"Information and Control"},{"key":"10.1016\/j.entcs.2008.04.004_bib004","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0304-3975(85)90088-X","article-title":"Algebra of communicating processes with abstraction","volume":"37","author":"Bergstra","year":"1985","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/j.entcs.2008.04.004_bib005","series-title":"Proceedings Mathematics and Computer Science II","first-page":"61","article-title":"Process algebra: Specification and verification in bisimulation semantics","volume":"4","author":"Bergstra","year":"1986"},{"key":"10.1016\/j.entcs.2008.04.004_bib006","series-title":"Processes, Terms and Cycles: Steps on the Road to Infinity","first-page":"445","article-title":"Model theory for process algebra","volume":"3838","author":"Bergstra","year":"2005"},{"key":"10.1016\/j.entcs.2008.04.004_bib007","series-title":"Goguen Festschrift","first-page":"459","article-title":"Elementary algebraic specification of the rational complex numbers","volume":"4060","author":"Bergstra","year":"2006"},{"key":"10.1016\/j.entcs.2008.04.004_bib008","article-title":"Model Theory","volume":"42","author":"Hodges","year":"1993"},{"key":"10.1016\/j.entcs.2008.04.004_bib009","article-title":"A Calculus of Communicating Systems","volume":"92","author":"Milner","year":"1980"},{"key":"10.1016\/j.entcs.2008.04.004_bib010","series-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"key":"10.1016\/j.entcs.2008.04.004_bib011","series-title":"Algebraic Foundations of Systems Specification","first-page":"13","article-title":"Algebraic preliminaries","author":"Sannella","year":"1999"},{"key":"10.1016\/j.entcs.2008.04.004_bib012","unstructured":"van Glabbeek, R.J. and W.P. Weijland, Branching time and abstraction in bisimulation semantics (extended abstract), in: G.X. Ritter, editor, Information Processing 89 (1989), pp. 613\u2013618, see [13] for the full version"},{"key":"10.1016\/j.entcs.2008.04.004_bib013","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1145\/233551.233556","article-title":"Branching time and abstraction in bisimulation semantics","volume":"43","author":"van Glabbeek","year":"1996","journal-title":"Journal of the ACM"},{"key":"10.1016\/j.entcs.2008.04.004_bib014","series-title":"Handbook of Theoretical Computer Science, B","first-page":"675","article-title":"Algebraic specification","author":"Wirsing","year":"1990"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066108002193?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066108002193?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,12,29]],"date-time":"2018-12-29T07:27:08Z","timestamp":1546068428000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066108002193"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4]]},"references-count":14,"alternative-id":["S1571066108002193"],"URL":"https:\/\/doi.org\/10.1016\/j.entcs.2008.04.004","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2008,4]]}}}