{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:48:00Z","timestamp":1762458480173},"publisher-location":"Berlin\/Heidelberg","reference-count":18,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540530487"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0039053","type":"book-chapter","created":{"date-parts":[[2006,1,31]],"date-time":"2006-01-31T14:58:08Z","timestamp":1138719488000},"page":"83-98","source":"Crossref","is-referenced-by-count":7,"title":["Process algebra with a zero object"],"prefix":"10.1007","author":[{"given":"J. C. M.","family":"Baeten","sequence":"first","affiliation":[]},{"given":"J. A.","family":"Bergstra","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","first-page":"205","volume":"78","author":"J.C.M. Baeten","year":"1988","unstructured":"J.C.M. Baeten & J.A. Bergstra [88],Global renaming operators in concrete process algebra, I&C 78, 1988, pp. 205\u2013245.","journal-title":"I&C"},{"key":"8_CR2","unstructured":"J.C.M. Baeten & J.A. Bergstra [90],Process algebra with zero object and nondeterminacy, report P9002, Programming Research Group, University of Amsterdam 1990."},{"key":"8_CR3","first-page":"153","volume":"287","author":"J.C.M. Baeten","year":"1987","unstructured":"J.C.M. Baeten & R.J. van Glabbeek [87],Merge and termination in process algebra, in: Proc. 7th FST&TCS, Pune (K.V. Nori, ed.), Springer LNCS 287, 1987, pp. 153\u2013172.","journal-title":"Springer LNCS"},{"key":"8_CR4","first-page":"127","volume":"IX","author":"J.C.M. Baeten","year":"1986","unstructured":"J.C.M. Baeten, J.A. Bergstra & J.W. Klop [86],Syntax and defining equations for an interrupt mechanism in process algebra, Fund. Inf. IX, 1986, pp. 127\u2013168.","journal-title":"Fund. Inf."},{"key":"8_CR5","first-page":"109","volume":"60","author":"J.A. Bergstra","year":"1984","unstructured":"J.A. Bergstra & J.W. Klop [84a],Process algebra for synchronous communication, I&C 60, 1984, pp. 109\u2013137.","journal-title":"I&C"},{"key":"8_CR6","first-page":"82","volume":"172","author":"J.A. Bergstra","year":"1984","unstructured":"J.A. Bergstra & J.W. Klop [84b],The algebra of recursively defined processes and the algebra of regular processes, in: Proc. 11th ICALP, Antwerpen (J. Paredaens, ed.), Springer LNCS 172, 1984, pp. 82\u201395.","journal-title":"Springer LNCS"},{"key":"8_CR7","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0304-3975(85)90088-X","volume":"37","author":"J.A. Bergstra","year":"1985","unstructured":"J.A. Bergstra & J.W. Klop [85],Algebra of communicating processes with abstraction, TCS 37, 1985, pp. 77\u2013121.","journal-title":"TCS"},{"key":"8_CR8","first-page":"61","volume-title":"Math. & Comp. Sci. II","author":"J.A. Bergstra","year":"1986","unstructured":"J.A. Bergstra & J.W. Klop [86],Process algebra: specification and verification in bisimulation semantics, in: Math. & Comp. Sci. II (M. Hazewinkel, J.K. Lenstra & L.G.L.T. Meertens, eds.), CWI Monograph 4, North-Holland, Amsterdam, 1986, pp. 61\u201394."},{"key":"8_CR9","first-page":"50","volume":"354","author":"J.A. Bergstra","year":"1989","unstructured":"J.A. Bergstra & J.W. Klop [89],Process theory based on bisimulation semantics, in: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency (J.W. de Bakker, W.-P. de Roever & G. Rozenberg, eds.), Springer LNCS 354, 1989, pp. 50\u2013122.","journal-title":"Springer LNCS"},{"key":"8_CR10","first-page":"336","volume":"247","author":"R.J. Glabbeek van","year":"1987","unstructured":"R.J. van Glabbeek [87],Bounded nondeterminism and the approximation induction principle in process algebra, in: Proc. STACS 87 (F.J. Brandenburg, G. Vidal-Naquet & M. Wirsing, eds.), Springer LNCS 247, 1987, pp. 336\u2013347.","journal-title":"Springer LNCS"},{"key":"8_CR11","first-page":"423","volume":"372","author":"J.F. Groote","year":"1989","unstructured":"J.F. Groote & F.W. Vaandrager [89],Structured operational semantics and bisimulation as a congruence, extended abstract in: Proc. ICALP 89, Stresa (G. Ausiello, M. Dezani-Ciancaglini & S. Ronchi Della Rocca, eds.), Springer LNCS 372, 1989, pp. 423\u2013438. Full version to appear in I&C.","journal-title":"Springer LNCS"},{"key":"8_CR12","unstructured":"J.F. Groote [90],Transition system specifications with negative premises, report CSR8950, Centre for Math. & Comp. Sci. 1990. To appear in Proc. CONCUR'90, Springer LNCS."},{"key":"8_CR13","unstructured":"C.A.R. Hoare [85],Communicating sequential processes, Prentice Hall International, 1985."},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"R. Milner [80],A calculus for communicating systems, Springer LNCS 92, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"8_CR15","unstructured":"R. Milner [89],Communication and concurrency, Prentice Hall International, 1989."},{"key":"8_CR16","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF00268075","volume":"23","author":"O. E.-R","year":"1986","unstructured":"E.-R. Olderog & C.A.R. Hoare [86],Specification-oriented semantics for communicating processes, Acta Informatica 23, 1986, pp. 9\u201366.","journal-title":"Acta Informatica"},{"key":"8_CR17","unstructured":"A. Ponse & F.-J. de Vries [89],Strong completeness for Hoare logics of recursive processes: an infinitary approach, report CS-R8957, Centre for Math. & Comp. Sci., Amsterdam 1989."},{"key":"8_CR18","first-page":"14","volume":"258","author":"M. Rem","year":"1987","unstructured":"M. Rem [87],Trace theory and systolic computations, in: Proc. PARLE Vol. I (J.W. de Bakker, A.J. Nijman & P.C. Treleaven, eds.), Springer LNCS 258, 1987, pp. 14\u201333.","journal-title":"Springer LNCS"}],"container-title":["Lecture Notes in Computer Science","CONCUR '90 Theories of Concurrency: Unification and Extension"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0039053.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:24:21Z","timestamp":1607552661000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0039053"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540530487"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0039053","relation":{},"subject":[]}}