{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:07:54Z","timestamp":1751983674629},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602491"},{"type":"electronic","value":"9783540447702"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60249-6_43","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:58:21Z","timestamp":1330279101000},"page":"106-115","source":"Crossref","is-referenced-by-count":8,"title":["From a concurrent \u03bb-calculus to the \u03c0-calculus"],"prefix":"10.1007","author":[{"given":"Roberto M.","family":"Amadio","sequence":"first","affiliation":[]},{"given":"Lone","family":"Leth","sequence":"additional","affiliation":[]},{"given":"Bent","family":"Thomsen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"6_CR1","volume-title":"Technical Report ECRC-94-3","author":"R. Amadio","year":"1994","unstructured":"R. Amadio. Translating Core Facile. Technical Report ECRC-94-3, ECRC, Munich, 1994."},{"key":"6_CR2","volume-title":"Technical Report ECRC-95-18","author":"R. Amadio","year":"1995","unstructured":"R. Amadio, L. Leth, and B. Thomsen. From a Concurrent \u03bb-calculus to the \u03c0-calculus. Technical Report ECRC-95-18, ECRC, Munich, 1995."},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"D. Berry, R. Milner, and D. N. Turner. A semantics for ML concurrency primitives. In Proceedings of POPL'92. ACM, 1992.","DOI":"10.1145\/143165.143191"},{"key":"6_CR4","unstructured":"B. Berthomieu, D. Giralt, and J-P. Gouyon. Lcs users' manual. Technical report 91226, LAAS\/CNRS, 1991."},{"issue":"2","key":"6_CR5","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/BF01491213","volume":"18","author":"A. Giacalone","year":"1989","unstructured":"A. Giacalone, P. Mishra, and S. Prasad. Facile: A symmetric integration of concurrent and functional programming. International Journal of Parallel Programming, 18(2):121\u2013160, 1989.","journal-title":"International Journal of Parallel Programming"},{"key":"6_CR6","unstructured":"A. Giacalone, P. Mishra, and S. Prasad. Operational and algebraic semantics for facile: A symmetric integration of concurrent and functional programming. In Proceedings of ICALP 90, LNCS 443. Springer-Verlag, 1990."},{"issue":"2","key":"6_CR7","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1017\/S0960129500001407","volume":"2","author":"R. Milner","year":"1992","unstructured":"R. Milner. Functions as processes. Journal of Mathematical Structures in Computer Science, 2(2):119\u2013141, 1992.","journal-title":"Journal of Mathematical Structures in Computer Science"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"R. Milner. The polyadic \u03c0-calculus: A tutorial. In W. Brauer F.L. Bauer and H. Schwichtenberg, editors, Logic and Algebra of Specification. Springer-Verlag, 1993.","DOI":"10.1007\/978-3-642-58041-3_6"},{"issue":"1","key":"6_CR9","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 Process, Parts 1\u20132. Information and Computation, 100(1):1\u201377, 1992.","journal-title":"Information and Computation"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"R. Milner and D. Sangiorgi. Barbed bisimulation. In SLNCS 623: Proceedings of ICALP 92. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55719-9_114"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"J. Reppy. Cml: A higher-order concurrent language. In Proc. ACM-SIGPLAN 91, Conf. on Prog. Lang. Design and Impl., 1991.","DOI":"10.1145\/113445.113470"},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01200262","volume":"30","author":"B. Thomsen","year":"1993","unstructured":"B. Thomsen. Plain chocs. Acta Informatica, 30:1\u201359, 1993. Also appeared as TR 89\/4, Imperial College, London.","journal-title":"Acta Informatica"},{"key":"6_CR13","unstructured":"B. Thomsen, L. Leth, and A. Giacalone. Some issues in the semantics of facile distributed programming. In SLNCS 666: Proceedings of REX School. Springer-Verlag, 1992. Also appeared as Tech Report ECRC 92-32."},{"key":"6_CR14","volume-title":"Technical Report ECRC-93-20","author":"B. Thomsen","year":"1993","unstructured":"B. Thomsen, L. Leth, S. Prasad, T.M. Kuo, A. Kramer, F. Knabe, and A. Giacalone. Facile antigua release programming guide. Technical Report ECRC-93-20, ECRC, Munich, December 1993."},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Victor, B. and Moller, F. The Mobility Workbench \u2014 A Tool for the \u03c0-Calculus. In Proceedings of the 6th International Conference on Computer Aided Verification, CAV'94, volume 818 of SLNCS, pages 428\u2013440. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58179-0_73"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60249-6_43.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:56:39Z","timestamp":1605646599000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60249-6_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602491","9783540447702"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-60249-6_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}