{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,14]],"date-time":"2024-08-14T23:09:07Z","timestamp":1723676947312},"reference-count":38,"publisher":"Association for Computing Machinery (ACM)","issue":"1","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Commun. ACM"],"published-print":{"date-parts":[[1993,1]]},"DOI":"10.1145\/151233.151240","type":"journal-article","created":{"date-parts":[[2002,7,27]],"date-time":"2002-07-27T11:32:13Z","timestamp":1027769533000},"page":"78-89","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":169,"title":["Elements of interaction"],"prefix":"10.1145","volume":"36","author":[{"given":"Robin","family":"Milner","sequence":"first","affiliation":[]}],"member":"320","published-online":{"date-parts":[[1993,1]]},"reference":[{"key":"e_1_2_1_1_2","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1991.9999"},{"key":"e_1_2_1_2_2","volume-title":"Mass.","author":"Agha G.A.","year":"1986"},{"key":"e_1_2_1_3_2","doi-asserted-by":"crossref","unstructured":"Astesiano E. and Zucca E. Parametric channels via label expressions in CCS j Theor. Comput sci. 33 (1984) 45-64. Astesiano E. and Zucca E. Parametric channels via label expressions in CCS j Theor. Comput sci. 33 (1984) 45-64.","DOI":"10.1016\/0304-3975(84)90102-6"},{"key":"e_1_2_1_4_2","volume-title":"Mass.","author":"Baeten J.C.M.","year":"1990"},{"key":"e_1_2_1_5_2","unstructured":"Barendregt H.P. The Lambda Calcu lus. North Holland Amsterdam 1981. Barendregt H.P. The Lambda Calcu lus. North Holland Amsterdam 1981."},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(85)90135-5"},{"key":"e_1_2_1_7_2","volume-title":"Univ. of Twente","author":"Brinksma E.","year":"1988"},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/828.833"},{"key":"e_1_2_1_9_2","unstructured":"Church A. The Calculi of Lambda Conversion. Princeton University Press Princeton N.J. 1946 Church A. The Calculi of Lambda Conversion. Princeton University Press Princeton N.J. 1946"},{"key":"e_1_2_1_10_2","volume-title":"Univ. of Arhus","author":"Engberg U.","year":"1986"},{"key":"e_1_2_1_11_2","first-page":"159","article-title":"of variable types, fifteen years later. J. Theor. Comput","volume":"45","author":"Girard J.-Y.","year":"1986","journal-title":"Sci"},{"key":"e_1_2_1_12_2","unstructured":"Goldber A. and Robson D. Smalltalk- 80: The Language and its Implementation Addison-Wesley Reading Mass 1983 Goldber A. and Robson D. Smalltalk- 80: The Language and its Implementation Addison-Wesley Reading Mass 1983"},{"key":"e_1_2_1_13_2","first-page":"633","article-title":"Semantic domains. In Handbook of Theretical Computer Science, Vol. A. Elsevier","author":"Gunter C.A.","year":"1990","journal-title":"New York"},{"key":"e_1_2_1_14_2","volume-title":"Mass.","author":"Hennessy M.","year":"1988"},{"key":"e_1_2_1_15_2","first-page":"235","volume-title":"proceedings of the INternational Joint Conference on Artificial Intelligence.","author":"Hewitt C.E.","year":"1973"},{"key":"e_1_2_1_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"e_1_2_1_17_2","unstructured":"Hoare C.A.R. Communicating Sequential t roces.ws. Ptenti(:e-Hat{ Englewood Clit!~. N.J. 1985. Hoare C.A.R. Communicating Sequential t roces.ws. Ptenti(:e-Hat{ Englewood Clit!~. N.J. 1985."},{"key":"e_1_2_1_18_2","doi-asserted-by":"publisher","DOI":"10.5555\/646149.679191"},{"key":"e_1_2_1_19_2","first-page":"222","volume-title":"Lecture Notes in Computer Science","author":"Kennaway J.R.","year":"1985"},{"key":"e_1_2_1_20_2","doi-asserted-by":"publisher","DOI":"10.1145\/322154.322167"},{"key":"e_1_2_1_21_2","volume-title":"Lecture Notes in Computer Science","volume":"92","author":"Milner R.","year":"1980"},{"key":"e_1_2_1_22_2","unstructured":"Milner R. Communication. and Concurrency. Prentice-Hall Englewood Cliffs N.J. 1989. Milner R. Communication. and Concurrency. Prentice-Hall Englewood Cliffs N.J. 1989."},{"key":"e_1_2_1_23_2","volume-title":"Edinburgh Univ.","author":"Milner R.","year":"1991"},{"key":"e_1_2_1_24_2","volume-title":"INRIA, Sophia Antipolis","author":"Milner R.","year":"1990"},{"key":"e_1_2_1_25_2","unstructured":"Milner R. Parrow J. and Walker D. A calculus of mobile processes. Rep. ECS-LFCS-89-85 and -86 Lab. for foundation of Computer Science Computer Science Dept. Edinburgh Univ. 1989. Milner R. Parrow J. and Walker D. A calculus of mobile processes. Rep. ECS-LFCS-89-85 and -86 Lab. for foundation of Computer Science Computer Science Dept. Edinburgh Univ. 1989."},{"key":"e_1_2_1_26_2","doi-asserted-by":"publisher","DOI":"10.1145\/360018.360022"},{"key":"e_1_2_1_27_2","volume-title":"Proceeeding of PARLE 89 Lecuture Notes in Computer Science","author":"Nielson F.","year":"1989"},{"key":"e_1_2_1_28_2","first-page":"13","article-title":"Petri nets, event structures and domains","author":"Nielsen M.","year":"1981","journal-title":"J. Theor. Comput- Sci"},{"key":"e_1_2_1_29_2","unstructured":"Orava F. and Parrow j. An algebraic verification of a mobile network Internal Rep. SICS Sweden. Orava F. and Parrow j. An algebraic verification of a mobile network Internal Rep. SICS Sweden."},{"key":"e_1_2_1_30_2","volume-title":"Lecture Notes in Computer Science","author":"Park D.M.R","year":"1980"},{"key":"e_1_2_1_31_2","unstructured":"Petri C.A. Communikation mit Automaten. Schriften des Institutes fur Instrumentelle Mathematik Bonn I962. In German. Petri C.A. Communikation mit Automaten. Schriften des Institutes fur Instrumentelle Mathematik Bonn I962. In German."},{"key":"e_1_2_1_32_2","first-page":"452","article-title":"A powerdomain construction. SIAM j","volume":"5","author":"Plotkin G.D","year":"1976","journal-title":"Comput."},{"key":"e_1_2_1_33_2","unstructured":"Reisig W. Petri Nets. EEATCS Monographs on Theoretical Computer Science W. Brauer G. Rozenberg A. Solomaa Eds. Springer-Verlag New} York 1983. Reisig W. Petri Nets. EEATCS Monographs on Theoretical Computer Science W. Brauer G. Rozenberg A. Solomaa Eds. Springer-Verlag New} York 1983."},{"key":"e_1_2_1_34_2","first-page":"408","volume-title":"Lecture Notes in Computer Science","author":"Reynolds J.C.","year":"1974"},{"key":"e_1_2_1_35_2","unstructured":"Sangiorgi . D. forthcoming Ph.D. thesis. Univ. of Edinburgh 1992. Sangiorgi . D. forthcoming Ph.D. thesis. Univ. of Edinburgh 1992."},{"key":"e_1_2_1_36_2","unstructured":"Tennent R.D. Principles of Programming Languages. Prentice-Hall Englewood Cliffs N.J. 1981. Tennent R.D. Principles of Programming Languages. Prentice-Hall Englewood Cliffs N.J. 1981."},{"key":"e_1_2_1_37_2","unstructured":"Thomsen B. Caluli for higherorder communicating systems. Ph.D. dissertation Imperial College London Univ. 1990. Thomsen B. Caluli for higherorder communicating systems. Ph.D. dissertation Imperial College London Univ. 1990."},{"key":"e_1_2_1_38_2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"532","DOI":"10.1007\/3-540-54415-1_63","volume-title":"Proceedings the Conference on Theoretical Aspect, of Computer Software (Japan)","author":"Walker D.j.","year":"1991"}],"container-title":["Communications of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/151233.151240","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,29]],"date-time":"2022-12-29T06:43:41Z","timestamp":1672296221000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/151233.151240"}},"subtitle":["Turing award lecture"],"short-title":[],"issued":{"date-parts":[[1993,1]]},"references-count":38,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1993,1]]}},"alternative-id":["10.1145\/151233.151240"],"URL":"https:\/\/doi.org\/10.1145\/151233.151240","relation":{},"ISSN":["0001-0782","1557-7317"],"issn-type":[{"value":"0001-0782","type":"print"},{"value":"1557-7317","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,1]]},"assertion":[{"value":"1993-01-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}