{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:10:26Z","timestamp":1725484226043},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540438649"},{"type":"electronic","value":"9783540454656"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45465-9_50","type":"book-chapter","created":{"date-parts":[[2007,5,26]],"date-time":"2007-05-26T21:12:57Z","timestamp":1180213977000},"page":"585-596","source":"Crossref","is-referenced-by-count":3,"title":["Axiomatising Divergence"],"prefix":"10.1007","author":[{"given":"Markus","family":"Lohrey","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pedro R.","family":"D\u2019Argenio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Holger","family":"Hermanns","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,6,25]]},"reference":[{"issue":"1","key":"50_CR1","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1145\/147508.147527","volume":"39","author":"L. Aceto","year":"1992","unstructured":"L. Aceto and M. Hennessy. Termination, deadlock, and divergence. J. ACM, 39(1):147\u2013187, 1992.","journal-title":"J. ACM"},{"key":"50_CR2","doi-asserted-by":"crossref","unstructured":"J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge Univ. Press, 1990.","DOI":"10.1017\/CBO9780511624193"},{"key":"50_CR3","volume-title":"Report CS-R8609","author":"J.A. Bergstra","year":"1986","unstructured":"J.A. Bergstra, J.W. Klop, and E.-R. Olderog. Failure semantics with fair abstraction. Report CS-R8609, CWI, Amsterdam, 1986."},{"key":"50_CR4","doi-asserted-by":"crossref","unstructured":"R.J. van Glabbeek. The Linear Time-Branching Time Spectrum I. The semantics of concrete, sequential processes. Chapter 1 in Handbook of Process Algebra, pages 3\u201399, Elsevier, 2001.","DOI":"10.1016\/B978-044482830-9\/50019-9"},{"key":"50_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/3-540-57208-2_6","volume-title":"Proc. CON-CUR\u201993","author":"R.J. Glabbeek van","year":"1993","unstructured":"R.J. van Glabbeek. The Linear Time-Branching Time Spectrum II. The semantics of sequential systems with silent moves (Extended Abstract). In Proc. CON-CUR\u201993, LNCS 715, pages 66\u201381. Springer, 1993."},{"key":"50_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/3-540-57182-5_39","volume-title":"Proc. MFCS\u201993","author":"R.J. Glabbeek van","year":"1993","unstructured":"R.J. van Glabbeek. A Complete Axiomatization for Branching Bisimulation Congruence of Finite-State Behaviours. In Proc. MFCS\u201993, LNCS 711, pages 473\u2013484. Springer, 1993."},{"issue":"3","key":"50_CR7","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1145\/233551.233556","volume":"43","author":"R.J. Glabbeek van","year":"1996","unstructured":"R.J. van Glabbeek and W.P. Weijland. Branching time and abstraction in bisimulation semantics. J. ACM, 43(3):555\u2013600, 1996.","journal-title":"J. ACM"},{"key":"50_CR8","unstructured":"H. Hermanns and M. Lohrey. Observational Congruence in a Stochastic Timed Calculus with Maximal Progress. Technical Report IMMDVII-7\/97, University of Erlangen-N\u00fcrnberg, IMMD7, 1997."},{"key":"50_CR9","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1016\/0022-0000(84)90023-0","volume":"28","author":"R. Milner","year":"1984","unstructured":"R. Milner. A Complete Inference System for a Class of Regular Behaviours. J. Com-put. System Sci., 28:439\u2013466, 1984.","journal-title":"J. Com-put. System Sci."},{"key":"50_CR10","doi-asserted-by":"crossref","unstructured":"R. Milner. A Complete Axiomatisation for Observational Congruence of Finite-State Behaviours. Inf. Comp., 91(227\u2013247), 1989.","DOI":"10.1016\/0890-5401(89)90070-9"},{"key":"50_CR11","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1016\/0890-5401(90)90048-M","volume":"85","author":"D.J. Walker","year":"1990","unstructured":"D.J. Walker. Bisimulation and divergence. Inf. Comp., 85:202\u2013241, 1990.","journal-title":"Inf. Comp."}],"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-45465-9_50","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T07:05:59Z","timestamp":1556435159000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45465-9_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540438649","9783540454656"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-45465-9_50","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}