{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:05Z","timestamp":1725664985324},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540631415"},{"type":"electronic","value":"9783540691884"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63141-0_8","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:09:40Z","timestamp":1330297780000},"page":"104-118","source":"Crossref","is-referenced-by-count":0,"title":["Bounded stacks, bags and queues"],"prefix":"10.1007","author":[{"given":"J. C. M.","family":"Baeten","sequence":"first","affiliation":[]},{"given":"J. A.","family":"Bergstra","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/0890-5401(88)90027-2","volume":"78","author":"J.C.M. Baeten","year":"1988","unstructured":"J.C.M. Baeten and J.A. Bergstra. Global renaming operators in concrete process algebra. Information and Computation, 78:205\u2013245, 1988.","journal-title":"Information and Computation"},{"issue":"4","key":"8_CR2","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1093\/comjnl\/37.4.243","volume":"37","author":"J.A. Bergstra","year":"1994","unstructured":"J.A. Bergstra, I. Bethke, and A. Ponse. Process algebra with iteration and nesting. The Computer Journal, 37(4):243\u2013258, 1994.","journal-title":"The Computer Journal"},{"doi-asserted-by":"crossref","unstructured":"J.A. Bergstra and J.W. Klop. The algebra of recursively defined processes and the algebra of regular processes. In J. Paredaens, editor, Proceedings 11th ICALP, number 172 in LNCS, pages 82\u201395. Springer Verlag, 1984.","key":"8_CR3","DOI":"10.1007\/3-540-13345-3_7"},{"key":"8_CR4","first-page":"89","volume-title":"Mathematics and Computer Science I, volume 1 of CWI Monograph","author":"J.A. Bergstra","year":"1986","unstructured":"J.A. Bergstra and J.W. Klop. Algebra of communicating processes. In J.W. de Bakker, M. Hazewinkel, and J.K. Lenstra, editors, Mathematics and Computer Science I, volume 1 of CWI Monograph, pages 89\u2013138. North-Holland, Amsterdam, 1986."},{"key":"8_CR5","doi-asserted-by":"crossref","first-page":"213","DOI":"10.3233\/FI-1987-10207","volume":"X","author":"J.A. Bergstra","year":"1987","unstructured":"J.A. Bergstra and J. Tiuryn. Process algebra semantics for queues. Fundamenta Informaticae, X:213\u2013224, 1987.","journal-title":"Fundamenta Informaticae"},{"doi-asserted-by":"crossref","unstructured":"D.M.R. Park. Concurrency and automata on infinite sequences. In P. Deussen, editor, Proceedings 5th GI Conference, number 104 in LNCS, pages 167\u2013183. Springer Verlag, 1981.","key":"8_CR6","DOI":"10.1007\/BFb0017309"},{"key":"8_CR7","first-page":"199","volume-title":"An operational semantics for CSP","author":"G.D. Plotkin","year":"1983","unstructured":"G.D. Plotkin. An operational semantics for CSP. In D. Bj\u00f8rner, editor, Proceedings Conference on Formal Description of Programming Concepts II, pages 199\u2013225. North-Holland, Amsterdam, 1983."},{"doi-asserted-by":"crossref","unstructured":"F.W. Vaandrager. Process algebra semantics of POOL. In J.C.M. Baeten, editor, Applications of Process Algebra, number 17 in Cambridge Tracts in Theoretical Computer Science, pages 173\u2013236. Cambridge University Press, 1990.","key":"8_CR8","DOI":"10.1017\/CBO9780511608841.010"}],"container-title":["Lecture Notes in Computer Science","CONCUR '97: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63141-0_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T11:35:13Z","timestamp":1640950513000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63141-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540631415","9783540691884"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-63141-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}