{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,24]],"date-time":"2025-11-24T07:07:34Z","timestamp":1763968054920},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540572084"},{"type":"electronic","value":"9783540479680"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57208-2_34","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:18:43Z","timestamp":1330258723000},"page":"493-508","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":25,"title":["From CML to process algebras"],"prefix":"10.1007","author":[{"given":"Flemming","family":"Nielson","sequence":"first","affiliation":[]},{"given":"Hanne Riis","family":"Nielson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"34_CR1","doi-asserted-by":"crossref","unstructured":"D. Berry, R. Milner, D.N. Turner: A semantics for ML concurrency primitives. Proceedings of POPL'92, ACM Press, 1992, pages 119\u2013129.","DOI":"10.1145\/143165.143191"},{"key":"34_CR2","doi-asserted-by":"crossref","unstructured":"G. Castagna, G. Ghelli, G. Longo: A Calculus for Overloaded Functions with Subtyping. Proceedings of the 1992 ACM Conference on Lisp and Functional Programming, ACM Press, 1992, pages 182\u2013192.","DOI":"10.1145\/141478.141537"},{"key":"34_CR3","unstructured":"C. Crasemann: \u03c0\u03bb-Kalk\u00fcle f\u00fcr Prozesse und Funktionen. Ph.D.-Thesis, Christian-Albrechts-Universit\u00e4t zu Kiel, 1992."},{"key":"34_CR4","unstructured":"A. Giacalone, P. Mishra, S. Prasad: Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming. Proceedings of ICALP '90, SLNCS 443, pages 765\u2013780, 1990."},{"key":"34_CR5","doi-asserted-by":"crossref","unstructured":"K. Havelund, K.G. Larsen: The Fork Calculus. To appear in Proceedings of ICALP '93, 1993.","DOI":"10.1007\/3-540-56939-1_101"},{"key":"34_CR6","unstructured":"H. H\u00fcttel, K.G. Larsen: A Dynamic Type System for Higher-Order Processes. Manuscript, 1992."},{"key":"34_CR7","unstructured":"J.J.-Levy, B. Thomsen, L. Leth, A. Giacalone: Esprit Basic Research Action 6454 \u2014 CONFER: CONcurrency and Functions: Evaluation and Reduction. EATCS Bulletin No. 48, 1992, pages 88\u2013106."},{"key":"34_CR8","doi-asserted-by":"crossref","unstructured":"J.M. Lucassen, D.K. Gifford: Polymorphic Effect Systems. Proceedings of POPL'88, ACM Press, 1988, pages 47\u201357.","DOI":"10.1145\/73560.73564"},{"key":"34_CR9","unstructured":"R. Milner: The Polyadic \u03c0-Calculus: A Tutorial. Report ECS-LFCS-91-180, Laboratory for Foundations of Computer Science, University of Edinburgh, 1991."},{"key":"34_CR10","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1007\/3-540-51285-3_52","volume":"366","author":"F. Nielson","year":"1989","unstructured":"F. Nielson: The Typed Lambda-Calculus with First-Class Processes. Proceedings of PARLE'89, Springer Lecture Notes in Computer Science 366, 1989, pages 357\u2013373.","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"34_CR11","doi-asserted-by":"crossref","unstructured":"F. Nielson, H.R. Nielson: Two-Level Functional Languages. Cambridge University Press, 1992.","DOI":"10.1017\/CBO9780511526572"},{"key":"34_CR12","doi-asserted-by":"crossref","unstructured":"F. Nielson, H.R. Nielson: From CML to Process Algebras. Report DAIMI PB-433, Dept. of Computer Science, Aarhus University, 1993.","DOI":"10.7146\/dpb.v22i433.6750"},{"key":"34_CR13","doi-asserted-by":"crossref","unstructured":"E.G.J.M.H. Nocker, J.E.W. Smetsers, M.C.J.D. van Eekelen, M.J. Plasmeijer: Concurrent Clean. Proceedings of PARLE'91, SLNCS 506, pages 202\u2013219, 1991.","DOI":"10.1007\/3-540-54152-7_66"},{"key":"34_CR14","doi-asserted-by":"crossref","unstructured":"J.H. Reppy: CML: A Higher-order Concurrent Language. Proceedings of the ACM SIGPLAN '91 Conference on Programming Language Design and Implementation, ACM Press, 1991, pages 293\u2013305.","DOI":"10.1145\/113446.113470"},{"key":"34_CR15","unstructured":"J.H. Reppy: Higher-Order Concurrency. Ph.D.-Thesis, Report 92-1285, Department of Computer Science, Cornell University, 1992. [16] J.-P. Talpin, P. Jouvelot: The Type and Effect Discipline. Proceedings of LICS'92, 1992, pages 162\u2013173."},{"key":"34_CR16","doi-asserted-by":"crossref","unstructured":"B. Thomsen: A Calculus of Higher Order Communicating Systems. Proceedings of POPL'89, ACM Press, 1989, pages 143\u2013154.","DOI":"10.1145\/75277.75290"},{"key":"34_CR17","unstructured":"B. Thomsen: Calculi for Higher Order Communicating Systems. Ph.D.-Thesis, Imperial College, University of London, 1990."}],"container-title":["Lecture Notes in Computer Science","CONCUR'93"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57208-2_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,9]],"date-time":"2020-01-09T00:14:57Z","timestamp":1578528897000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57208-2_34"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540572084","9783540479680"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-57208-2_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]},"assertion":[{"value":"27 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}