{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T06:12:27Z","timestamp":1762323147393},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540675303"},{"type":"electronic","value":"9783540454991"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45499-3_23","type":"book-chapter","created":{"date-parts":[[2007,8,1]],"date-time":"2007-08-01T01:55:04Z","timestamp":1185933304000},"page":"309-322","source":"Crossref","is-referenced-by-count":25,"title":["Approximate Bisimilarity"],"prefix":"10.1007","author":[{"given":"Mingsheng","family":"Ying","sequence":"first","affiliation":[]},{"given":"Martin","family":"Wirsing","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,5,19]]},"reference":[{"key":"23_CR1","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0304-3975(80)90045-6","volume":"11","author":"A. Arnold","year":"1980","unstructured":"A. Arnold and M. Nivat. Metric Interpretations of Infinite Trees and Semantics of Nondeterministic Recursive Programs. Theoretical Computer Science, 11:181\u2013205, 1980.","journal-title":"Theoretical Computer Science"},{"key":"23_CR2","doi-asserted-by":"crossref","first-page":"445","DOI":"10.3233\/FI-1980-3405","volume":"4","author":"A. Arnold","year":"1980","unstructured":"A. Arnold and M. Nivat. The Metric Space of Infinite Trees, Algebraic and Topological Properties. Fundamenta Informaticae, 4:445\u2013476, 1980.","journal-title":"Fundamenta Informaticae"},{"key":"23_CR3","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/BF01898401","volume":"3","author":"J. C. M. Baeten","year":"1991","unstructured":"J. C. M. Baeten and J. Bergstra. Real-Time Process Algebra. Formal Aspects of Computing, 3:142\u2013188, 1991.","journal-title":"Formal Aspects of Computing"},{"volume-title":"Ten Years of Concurrency Semantics, Selected Papers of the Amsterdam Concurreny Group","year":"1992","key":"23_CR4","unstructured":"J. W. de Bakker and J. J. M. M. Rutten, editors. Ten Years of Concurrency Semantics, Selected Papers of the Amsterdam Concurreny Group. World Scientific, Singapore, 1992."},{"key":"23_CR5","doi-asserted-by":"publisher","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 and J. I. Zucker. Processes and the Denotational Semantics of Concurrency. Information and Control, 54:70\u2013120, 1982.","journal-title":"Information and Control"},{"key":"23_CR6","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0304-3975(90)90016-B","volume":"76","author":"J. N. Kok","year":"1990","unstructured":"J. N. Kok and J. J. M. M. Rutten. Contractions in Comparing Concurrency Semantics. Theoretical Computer Science, 76:179\u2013222, 1990.","journal-title":"Theoretical Computer Science"},{"key":"23_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"R. Milner. A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science. Springer, Berlin, 1980."},{"key":"23_CR8","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, New York, 1989."},{"key":"23_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4160-7","volume-title":"Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion","author":"F. Breugel van","year":"1998","unstructured":"F. van Breugel. Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion. Birkh\u00e4user, Boston, 1998."},{"key":"23_CR10","first-page":"243","volume-title":"25 Jaar Semantik","author":"R. J. Glabbeek van","year":"1989","unstructured":"R. J. van Glabbeek and J. J. M. M. Rutten. The Processes of de Bakker and Zucker Represent Bisimulation Equivalences Classes. In J. W. de Bakker, editor, 25 Jaar Semantik, Liber Amicorum, pages 243\u2013246. CWI, Amsterdam, 1989."},{"key":"23_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"502","DOI":"10.1007\/BFb0039080","volume-title":"Proc. CONCUR\u201990","author":"Y. Wang","year":"1990","unstructured":"Y. Wang. Real-Time Behaviour of Asynchronous Agents. In J. C. M. Baeten and J. W. Klop, editors, Proc. CONCUR\u201990, volume 458 of Lecture Notes in Computer Science, pages 502\u2013520. Springer, Berlin, 1990."},{"key":"23_CR12","unstructured":"M. S. Ying and M. Wirsing. Approximate Bisimilarity and Its Applications. Technical report 9906, Institut f\u00fcr Informatik, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, 1999."}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45499-3_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,20]],"date-time":"2021-08-20T22:27:42Z","timestamp":1629498462000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45499-3_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540675303","9783540454991"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-45499-3_23","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}