{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:35:36Z","timestamp":1725496536850},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540583295"},{"type":"electronic","value":"9783540486541"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-3-540-48654-1_25","type":"book-chapter","created":{"date-parts":[[2016,5,10]],"date-time":"2016-05-10T13:34:34Z","timestamp":1462887274000},"page":"315-330","source":"Crossref","is-referenced-by-count":1,"title":["On Bisimulation in the \u03c0-calculus"],"prefix":"10.1007","author":[{"given":"David","family":"Walker","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","volume-title":"Sextended Abstract","author":"G Ferrari","year":"1993","unstructured":"G. Ferrari, U. Montanari and P. Quaglia, A 71-calculus with Explicit Substitutions, extended abstract (1993)."},{"key":"25_CR2","unstructured":"A. Mifsud, forthcoming PhD thesis, University of Edinburgh."},{"key":"25_CR3","volume-title":"Prentice Hall","author":"R Milner","year":"1989","unstructured":"R. Milner, Communication and Concurrency, Prentice Hall (1989)."},{"key":"25_CR4","first-page":"119","volume-title":"Comp. Science 2","author":"R Milner","year":"1992","unstructured":"R. Milner, Functions as Processes, Math. Struct. in Comp. Science 2, 119\u2013141 (1992)."},{"key":"25_CR5","volume-title":"Logic and Algebra of Spec-ification ed. F. Bauer, Springer","author":"R Milner","year":"1993","unstructured":"R. Milner, The Polyadic 7r-calculus: a Tutorial, in Logic and Algebra of Spec-ification ed. F. Bauer et al., Springer (1993)."},{"key":"25_CR6","first-page":"330","volume":"4177","author":"R Milner","year":"1992","unstructured":"R. Milner, J. Parrow and D. Walker, A Calculus of Mobile Processes, Parts I and II, Information and Computation 100, 1\u201340 and 41\u201377 (1992). 330","journal-title":"Information and Computation 100, 1-40 and"},{"key":"25_CR7","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0304-3975(93)90156-N","volume":"114","author":"R Milner","year":"1993","unstructured":"R. Milner, J. Parrow and D. Walker, Modal Logics for Mobile Processes, Theoretical Computer Science 114, 149\u2013171 (1993).","journal-title":"Theoretical Computer Science"},{"key":"25_CR8","first-page":"685","volume-title":"Proc. ICALP92, Springer LNCS vol. 623","author":"R Milner","year":"1992","unstructured":"R. Milner and D. Sangiorgi, Barbed Bisimulation, in Proc. ICALP\u201992, Springer LNCS vol. 623, 685\u2013695 (1992)."},{"issue":"2","key":"25_CR9","doi-asserted-by":"crossref","first-page":"171","DOI":"10.3233\/FI-1992-16206","volume":"XVI","author":"U Montanari","year":"1992","unstructured":"U. Montanari and V. Sassone, Dynamic Congruence vs. Progressing Bisimulation for CCS, Fundamenta Informaticae XVI (2), 171\u2013199 (1992).","journal-title":"Fundamenta Informaticae"},{"key":"25_CR10","volume-title":"University of Edinburgh","author":"D Sangiorgi","year":"1992","unstructured":"D. Sangiorgi, Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms, report ECS-LFCS-93\u2013262, Department of Computer Science, University of Edinburgh (1992)."},{"key":"25_CR11","first-page":"127","volume-title":"Proc. CONCUR93, Springer LNCS vol. 715","author":"D Sangiorgi","year":"1993","unstructured":"D. Sangiorgi, A Theory of Bisimulation for the 7r-calculus, in Proc. CONCUR\u201993, Springer LNCS vol. 715, 127\u2013142 (1993)."}],"container-title":["Lecture Notes in Computer Science","CONCUR '94: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-48654-1_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,21]],"date-time":"2022-06-21T02:03:34Z","timestamp":1655777014000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-48654-1_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540583295","9783540486541"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-48654-1_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}