{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,14]],"date-time":"2026-02-14T04:15:37Z","timestamp":1771042537225,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540172192","type":"print"},{"value":"9783540474197","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/bfb0039617","type":"book-chapter","created":{"date-parts":[[2006,1,31]],"date-time":"2006-01-31T16:55:52Z","timestamp":1138726552000},"page":"336-347","source":"Crossref","is-referenced-by-count":28,"title":["Bounded nondeterminism and the approximation induction principle in process algebra"],"prefix":"10.1007","author":[{"given":"R. J.","family":"van Glabbeek","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"27_CR1","volume-title":"Conditional axioms and \u03b1\/\u03b2 calculus in process algebra, report CS-R8502","author":"J.C.M. Baeten","year":"1985","unstructured":"J.C.M. Baeten, J.A. Bergstra & J.W. Klop, Conditional axioms and \u03b1\/\u03b2 calculus in process algebra, report CS-R8502, Centrum voor Wiskunde en Informatica, Amsterdam 1985, to appear in: Proc. IFIP Conference on Formal Description of Programming Concepts, Gl. Avernaes 1986, (M. Wirsing, ed.), North-Holland."},{"key":"27_CR2","volume-title":"On the consistency of Koomen's Fair Abstraction Rule, report CS-R8511","author":"J.C.M. Baeten","year":"1985","unstructured":"J.C.M. Baeten, J.A. Bergstra & J.W. Klop, On the consistency of Koomen's Fair Abstraction Rule, report CS-R8511, Centrum voor Wiskunde en Informatica, Amsterdam 1985, to appear in Theoretical Computer Science."},{"issue":"1\/2","key":"27_CR3","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":"J.W. de Bakker & J.I. Zucker, Processes and the denotational semantics of concurrency, Information & Control 54 (1\/2), pp. 70\u2013120, 1982.","journal-title":"Information & Control"},{"key":"27_CR4","unstructured":"J.A. Bergstra & J.W. Klop, Algebra of communicating processes, Proc. of the CWI Symp. Math. & Comp. Sci., eds. J.W. de Bakker, M. Hazewinkel & J.K. Lenstra, Amsterdam 1986."},{"issue":"1","key":"27_CR5","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, Algebra of communicating processes with abstraction, Theoretical Computer Science 37(1), pp. 77\u2013121, 1985.","journal-title":"Theoretical Computer Science"},{"key":"27_CR6","unstructured":"J.A. Bergstra, J.W. Klop & E.-R. Olderog, Failures without chaos: a new process semantics with fair abstraction, report CS-R8625, Centrum voor Wiskunde en Informatica, Amsterdam 1986, to appear in: Proc. IFIP Conference on Formal Description of Programming Concepts, Gl. Avernaes 1986, (M. Wirsing, ed.), North-Holland."},{"issue":"3","key":"27_CR7","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S.D. Brookes","year":"1984","unstructured":"S.D. Brookes, C.A.R. Hoare & W. Roscoe, A theory of communicating sequential processes, Journal ACM 31(3), pp. 560\u2013599, 1984.","journal-title":"Journal ACM"},{"key":"27_CR8","volume-title":"Bounded nondeterminism and the approximation induction principle in process algebra, report CS-R8634","author":"R.J. Glabbeek van","year":"1986","unstructured":"R.J. van Glabbeek, Bounded nondeterminism and the approximation induction principle in process algebra, report CS-R8634, Centrum voor Wiskunde en Informatica, Amsterdam 1986."},{"issue":"2","key":"27_CR9","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1145\/3318.3322","volume":"7","author":"G.J. Milne","year":"1985","unstructured":"G.J. Milne, CIRCAL and the representation of communication, concurrency, and time, Transactions on Programming Languages and Systems (ACM) 7(2), pp. 270\u2013298, 1985.","journal-title":"Transactions on Programming Languages and Systems (ACM)"},{"key":"27_CR10","doi-asserted-by":"crossref","unstructured":"R. Milner, A calculus for communicating systems, Springer LNCS 92, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"27_CR11","first-page":"197","volume":"197","author":"R. Milner","year":"1985","unstructured":"R. Milner, Lectures on a calculus for communicating systems, Seminar on Concurrency, Springer LNCS 197, pp. 197\u2013220, 1985.","journal-title":"Springer LNCS"},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"D.M.R. Park, Concurrency and automata on infinite sequences, Proc. 5th GI Conference, Springer LNCS 104, 1981.","DOI":"10.1007\/BFb0017309"},{"key":"27_CR13","unstructured":"W. Reisig, Petri Nets, An Introduction, EATCS Monographs on Theoretical Computer Science, Springer-Verlag 1985."},{"key":"27_CR14","volume-title":"Proc. 4th Advanced Course on Foundations of Computer Science, part 2","author":"M. Rem","year":"1983","unstructured":"M. Rem, Partially ordered computations, with applications to VLSI design, Proc. 4th Advanced Course on Foundations of Computer Science, part 2, (eds.) J.W. de Bakker & J. van Leeuwen, Tract 159, Mathematisch Centrum, Amsterdam 1983."}],"container-title":["Lecture Notes in Computer Science","STACS 87"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0039617","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T17:24:50Z","timestamp":1555435490000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0039617"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540172192","9783540474197"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0039617","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1987]]}}}