{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:35:30Z","timestamp":1761597330421},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540133452"},{"type":"electronic","value":"9783540388869"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/3-540-13345-3_7","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:04:17Z","timestamp":1330193057000},"page":"82-94","source":"Crossref","is-referenced-by-count":34,"title":["The algebra of recursively defined processes and the algebra of regular processes"],"prefix":"10.1007","author":[{"given":"J. A.","family":"Bergstra","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. W.","family":"Klop","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"DE BAKKER, J.W. & J.I. ZUCKER, Denotational semantics of concurrency, Proc. 14th ACM Symp. on Theory of Computing, p.153\u2013158 (1982).","DOI":"10.1145\/800070.802188"},{"issue":"1\/2","key":"7_CR2","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1016\/S0019-9958(82)91250-5","volume":"54","author":"J. W. Bakker De","year":"1982","unstructured":"DE BAKKER, J.W. & J.I. ZUCKER, Processes and the denotational semantics of concurrency, Information and Control, Vol.54, No.1\/2, p.70\u2013120, 1982.","journal-title":"Information and Control"},{"key":"7_CR3","volume-title":"Process algebra for communication and mutual exclusion, Report IW 218\/83","author":"J. A. Bergstra","year":"1983","unstructured":"BERGSTRA, J.A. & J.W. KLOP, Process algebra for communication and mutual exclusion, Report IW 218\/83, Mathematisch Centrum, Amsterdam 1983."},{"key":"7_CR4","volume-title":"The algebra of recursively defined processes and the algebra of regular processes, Report IW 235\/83","author":"J. A. Bergstra","year":"1983","unstructured":"BERGSTRA, J.A. & J.W. KLOP, The algebra of recursively defined processes and the algebra of regular processes, Report IW 235\/83, Mathematisch Centrum, Amsterdam 1983."},{"key":"7_CR5","unstructured":"BERGSTRA, J.A. & J.W. KLOP, Algebra of Communicating Processes, in: Proceedings of the CWI Symposium Mathematics and Computer Science (eds. J.W. de Bakker, M. Hazewinkel and J.K. Lenstra), CWI Monograph Series, North-Holland. To appear."},{"issue":"1","key":"7_CR6","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1016\/S0019-9958(81)90082-6","volume":"51","author":"M. Hennessy","year":"1981","unstructured":"HENNESSY, M., A term model for synchronous processes, Information and Control, Vol.51, No.1(1981), p.58\u201375.","journal-title":"Information and Control"},{"key":"7_CR7","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. R. Hoare","year":"1978","unstructured":"HOARE, C.A.R., Communicating Sequential Processes, C.ACM 21 (1978), 666\u2013677.","journal-title":"C.ACM"},{"key":"7_CR8","unstructured":"HOARE, C.A.R., A Model for Communicating Sequential Processes, in: \"On the Construction of Programs\" (ed. R.M. McKeag and A.M. McNaghton), Cambridge University Press, 1980 (p.229\u2013243)."},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"MILNER, R., A Calculus for Communicating Systems, Springer LNCS 92, 1980.","DOI":"10.1007\/3-540-10235-3"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-13345-3_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:07:20Z","timestamp":1605643640000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-13345-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540133452","9783540388869"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-13345-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1984]]}}}