{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:32Z","timestamp":1760202632771},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571827"},{"type":"electronic","value":"9783540479277"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57182-5_39","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:10:12Z","timestamp":1330258212000},"page":"473-484","source":"Crossref","is-referenced-by-count":24,"title":["A complete axiomatization for branching bisimulation congruence of finite-state behaviours"],"prefix":"10.1007","author":[{"given":"R. J.","family":"Glabbeek","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"issue":"1","key":"39_CR1","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 (1985): Algebra of communicating processes with abstraction. Theoretical Computer Science 37(1), pp. 77\u2013121.","journal-title":"Theoretical Computer Science"},{"key":"39_CR2","first-page":"21","volume-title":"Proceedings Logic Colloquium 1986","author":"J. A. Bergstra","year":"1988","unstructured":"J.A. Bergstra & J.W. Klop (1988): A complete inference system for regular processes with silent moves. In F.R. Drake & J.K. Truss, editors: Proceedings Logic Colloquium 1986, Hull, North-Holland, pp. 21\u201381. First appeared as: Report CS-R8420, CWI, Amsterdam, 1984."},{"key":"39_CR3","doi-asserted-by":"crossref","unstructured":"R.J. van Glabbeek (1990): The linear time \u2014 branching time spectrum. In J.C.M. Baeten & J.W. Klop, editors: Proceedings CONCUR 90, Amsterdam, LNCS 458, pp. 278\u2013297.","DOI":"10.1007\/BFb0039066"},{"key":"39_CR4","volume-title":"Technical Report TUM-I9052, SFB-Bericht Nr. 342\/29\/90 A","author":"R. J. Glabbeek van","year":"1990","unstructured":"R.J. van Glabbeek & W.P. Weijland (1990): Branching time and abstraction in bisimulation semantics. Technical Report TUM-I9052, SFB-Bericht Nr. 342\/29\/90 A, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen, Munich, Germany. Extended abstract in G.X. Ritter, editor: Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Fransisco, USA 1989, Elsevier Science Publishers B.V. (North-Holland), 1989, pp. 613\u2013618."},{"key":"39_CR5","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1016\/0022-0000(84)90023-0","volume":"28","author":"R. Milner","year":"1984","unstructured":"R. Milner (1984): A complete inference system for a class of regular behaviours. Journal of Computer and System Sciences 28, pp. 439\u2013466.","journal-title":"Journal of Computer and System Sciences"},{"key":"39_CR6","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0890-5401(89)90070-9","volume":"81","author":"R. Milner","year":"1989","unstructured":"R. Milner (1989): A complete axiomatisation for observational congruence of finite-state behaviours. Information and Computation 81, pp. 227\u2013247.","journal-title":"Information and Computation"},{"key":"39_CR7","first-page":"1201","volume-title":"Handbook of Theoretical Computer Science","author":"R. Milner","year":"1990","unstructured":"R. Milner (1990): Operational and algebraic semantics of concurrent processes. In J. van Leeuwen, editor: Handbook of Theoretical Computer Science, chapter 19, Elsevier Science Publishers B.V. (North-Holland), pp. 1201\u20131242. Alternatively see Communication and Concurrency, Prentice-Hall International, Englewood Cliffs, 1989, of which an earlier version appeared as A Calculus of Communicating Systems, LNCS 92, Springer-Verlag, 1980."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57182-5_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:59:31Z","timestamp":1619571571000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57182-5_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571827","9783540479277"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-57182-5_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}