{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:52:05Z","timestamp":1778298725397,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540581796","type":"print"},{"value":"9783540484691","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58179-0_73","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:26:20Z","timestamp":1330269980000},"page":"428-440","source":"Crossref","is-referenced-by-count":81,"title":["The mobility workbench \u2014 A tool for the \u03c0-Calculus"],"prefix":"10.1007","author":[{"given":"Bj\u00f6rn","family":"Victor","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Faron","family":"Moller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"35_CR1","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1016\/1385-7258(72)90034-0","volume":"34","author":"N.G. Bruijn","year":"1972","unstructured":"N.G. de Bruijn. Lambda Calculus Notation with Nameless Dummies, a Tool for Automatic Formula Manipulation, with Application to the Church-Rosser Theorem. Indagationes Mathematicae, 34:381\u2013392. North-Holland, 1972.","journal-title":"Indagationes Mathematicae"},{"key":"35_CR2","doi-asserted-by":"crossref","unstructured":"M. Dam. Model Checking Mobile Processes. In Proceedings of CONCUR'93. Lecture Notes in Computer Science 715. E. Best (ed). pp22\u201336. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57208-2_3"},{"key":"35_CR3","volume-title":"Technical Report RTC 14","author":"J-C. Fernandez","year":"1989","unstructured":"J-C. Fernandez. Ald\u00e9baran: A tool for verification of communicating processes. Technical Report RTC 14, IMAG, Grenoble, 1989."},{"key":"35_CR4","doi-asserted-by":"crossref","unstructured":"J-C. Fernandez and L. Mounier. \u201cOn-the-fly\u201d verification of behavioural equivalences and preorders. In Proceedings of CAV'91. 1991.","DOI":"10.1007\/3-540-55179-4_18"},{"key":"35_CR5","doi-asserted-by":"crossref","unstructured":"L.-\u00e5. Fredlund and F. Orava. Modelling Dynamic Communication Structures in LOTOS. In Proceedings of FORTE'91, K.R. Parker and G.A. Rose (eds). pp185\u2013200. North-Holland, 1992.","DOI":"10.1016\/B978-0-444-89402-1.50023-0"},{"key":"35_CR6","unstructured":"H. Garavel and J. Sifakis. Compilation and verification of LOTOS specifications. In Proceedings of Protocol Specification, Testing, and Verification X, 1990."},{"key":"35_CR7","doi-asserted-by":"crossref","unstructured":"S.J. Gay. A Sort Inference Algorithm for the Polyadic \u03c0-Calculus. In Proceedings of 20th ACM Symp. on Principles of Programming Languages, ACM Press, 1993.","DOI":"10.1145\/158511.158701"},{"key":"35_CR8","unstructured":"M. Hennessy and H. Lin. Symbolic bisimulations. Research Report TR1\/92. University of Sussex, 1992."},{"key":"35_CR9","first-page":"110","volume":"47","author":"E. Madelaine","year":"1992","unstructured":"E. Madelaine. Verification tools from the CONCUR project. Bulletin of the European Association of Theoretical Computer Science 47, pp110\u2013126, June 1992.","journal-title":"Bulletin of the European Association of Theoretical Computer Science"},{"key":"35_CR10","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"35_CR11","unstructured":"R. Milner. The polyadic \u03c0-calculus: a tutorial. Research Report ECS-LFCS-91-180. University of Edinburgh, October 1991."},{"key":"35_CR12","unstructured":"R. Milner. Action Structures for the \u03c0-Calculus. Research Report ECS-LFCS-93-264. University of Edinburgh, May 1993."},{"key":"35_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"R. Milner, J. Parrow and D. Walker. A calculus of mobile processes (Parts I and II). Journal of Information and Computation, 100:1\u201377, September 1992.","journal-title":"Journal of Information and Computation"},{"key":"35_CR14","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1007\/BF01211473","volume":"4","author":"F. Orava","year":"1992","unstructured":"F. Orava and J. Parrow. An algebraic verification of a mobile network. Formal Aspects of Computing, 4:497\u2013543, 1992.","journal-title":"Formal Aspects of Computing"},{"key":"35_CR15","unstructured":"J. Parrow. Interaction Diagrams. Swedish Institute of Computer Science Research Report R93:06, 1993. (To appear in Proceedings of REX'93, Springer-Verlag.)"},{"key":"35_CR16","doi-asserted-by":"crossref","unstructured":"D. Sangiorgi. A theory of bisimulation for the \u03c0-calculus. In Proceedings of CONCUR'93. Lecture Notes in Computer Science 715. E. Best (ed). pp127\u2013142. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57208-2_10"},{"key":"35_CR17","unstructured":"P.H.J. van Eijk, C.A. Vissers and M. Diaz (eds). The Formal Description Technique LOTOS. North-Holland, 1989."},{"key":"35_CR18","unstructured":"B. Victor. Forthcoming licentiate thesis, Uppsala University, 1994."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58179-0_73.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:18:00Z","timestamp":1605647880000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58179-0_73"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581796","9783540484691"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-58179-0_73","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}