{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:48:00Z","timestamp":1762458480758},"publisher-location":"Berlin\/Heidelberg","reference-count":19,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540582770"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0049335","type":"book-chapter","created":{"date-parts":[[2006,3,6]],"date-time":"2006-03-06T13:58:16Z","timestamp":1141653496000},"page":"238-260","source":"Crossref","is-referenced-by-count":7,"title":["Higher-order action calculi"],"prefix":"10.1007","author":[{"given":"Robin","family":"Milner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi, L. Cardelli, P.-L. Curien, J.-J. L\u00e9vy, Explicit Substitutions, ACMPOPL Conference, San Francisco, 1990.","DOI":"10.1145\/96709.96712"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Asperti, A. and Laneve, C., Interaction systems, Proc. International Workshop on Higher-order algebra, Logic and Term rewriting, Amsterdam, September 1993.","DOI":"10.1007\/3-540-58233-9_1"},{"key":"16_CR3","unstructured":"Asperti, A. and Longo, G., Categories, Types and Structures, MIT Press, 1991."},{"key":"16_CR4","unstructured":"Barendregt, H., The Lambda Calculus, North Holland 1981."},{"key":"16_CR5","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0304-3975(92)90185-I","volume":"96","author":"G. Berry","year":"1992","unstructured":"Berry, G. and Boudol, G., The chemical abstract machine, Journal of Theoretical Computer Science, Vol 96, pp 217\u2013248, 1992.","journal-title":"Journal of Theoretical Computer Science"},{"key":"16_CR6","unstructured":"Danos, V. and Regnier, L., Local and asynchronous beta-reduction, Proc. LICS, Montreal, 1993."},{"key":"16_CR7","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BF01491213","volume":"18","author":"P. Giacalone","year":"1989","unstructured":"Giacalone, P., Mishra, P. and Prasad, S., Facile: a symmetric integration of concurrent and functional programming, International Journal of Parallel Programming, Vol 18, pp121\u2013160, 1989.","journal-title":"International Journal of Parallel Programming"},{"key":"16_CR8","unstructured":"Gunter, C.A., Semantics of Programming Languages, MIT Press, 1992."},{"key":"16_CR9","unstructured":"Lambek, J. and Scott, P.J., Introduction to Higher-order Categorical Logic, Cambridge University Press,1986."},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Milner, R., The polyadic \u03c0-calculus: a tutorial, in Logic and Algebra of Specification, ed. F.L. Bauer, W. Brauer and H. Schwichtenberg, Springer Verlag, 1993.","DOI":"10.1007\/978-3-642-58041-3_6"},{"key":"16_CR11","unstructured":"Milner, R., Action structures and the \u03c0-calculus, to appear in Proceedings of NATO Advanced Study Institute on Proof and Computation (held at Marktoberdorf, 1993), about 60pages. (This paper combines of two previous reports: Action structures, Research Report ECS-LFCS-92-249, and Action structures for the \u03c0-calculus, Research Report ECS-LFCS-93-264, Laboratory for Foundations of Computer Science, Computer Science Department, Edinburgh University."},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Milner, R., Action calculi I: axioms and applications, Computer Science Department, Edinburgh University, 1993. Also appeared as Action calculi, or syntactic action structures, Proceedings of MFCS '93, Lecture Notes in Computer Science Vol 711, Springer-Verlag, pp105\u2013121, 1993.","DOI":"10.1007\/3-540-57182-5_7"},{"key":"16_CR13","unstructured":"Milner, R., Action calculi II: \u03c0-nets with boxes and replication, Computer Science Department, Edinburgh University, 1993."},{"key":"16_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J. and Walker, D., A calculus of mobile processes, Parts I and II, Journal of Inf. and Comp, Vol 100, pp1\u201340 and pp41\u201377, 1992.","journal-title":"Journal of Inf. and Comp"},{"key":"16_CR15","unstructured":"Petri, C.A., Fundamentals of a theory of asynchronous information flow, Proc. IFIP Congress '62, North Holland, pp386\u2013390, 1962."},{"key":"16_CR16","unstructured":"Pierce, B.C., Programming in the \u03c0-calculus, Draft, Computer Science Department, University of Edinburgh, 1993."},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Pitts, A.M. and Stark, I.D.B., Observable properties of higher-order functions that dynamically create local names, or: What's new?, Proc. MFCS'93, Lecture Notes in Computer Science Vol 711, Springer-Verlag, pp122\u2013141, 1993.","DOI":"10.1007\/3-540-57182-5_8"},{"key":"16_CR18","unstructured":"Ritter, E., Normalization for Typed Lambda Calculi with Explicit Substitution, Paper presented at the 1993 Annual Conference of the European Association for Computer Science Logic, Swansea 1993."},{"key":"16_CR19","unstructured":"Sangiorgi, D., Expressing mobility in process algebras: first-order and higher-order paradigms, PhD Thesis, CST-99-93, Computer Science Department, University of Edinburgh, 1992."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0049335.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:55:44Z","timestamp":1607532944000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0049335"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540582770"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0049335","relation":{},"subject":[]}}