{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:24Z","timestamp":1725663684510},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540512851"},{"type":"electronic","value":"9783540461845"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51285-3_52","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:52:03Z","timestamp":1330185123000},"page":"357-373","source":"Crossref","is-referenced-by-count":16,"title":["The typed \u03bb-calculus with first-class processes"],"prefix":"10.1007","author":[{"given":"Flemming","family":"Nielson","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"P.America, J.deBakker, J.N.Kok, J.Rutten: Operational Semantics of a Paralled Object-Oriented Language, Proceedings of the 1986 ACM Conference on Principles of Programming Languages, 1986, pp. 194\u2013208.","DOI":"10.1145\/512644.512662"},{"key":"24_CR2","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0304-3975(84)90102-6","volume":"33","author":"E. Astesiano","year":"1984","unstructured":"E. Astesiano, E. Zucca: Parametric channels via label expressions in CCS, TCS 33 (1984) pp. 45\u201363.","journal-title":"TCS"},{"key":"24_CR3","unstructured":"H.P.Barendregt: The Lambda Calculus \u2014 Its Syntax and Semantics, North-Holland, 1984."},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"L.Cardelli: Amber, Springer Lecture Notes in Computer Science 242, pp. 21\u201347.","DOI":"10.1007\/3-540-17184-3_38"},{"key":"24_CR5","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"L. Cardelli, P. Wegner: On Understanding Types, Data Abstraction, and Polymorphism, ACM Computing Surveys 17 (1985), pp. 471\u2013522.","journal-title":"ACM Computing Surveys"},{"key":"24_CR6","unstructured":"P.Christensen: The Domain of CSP Processes, incomplete draft, The Technical University of Denmark, 1988."},{"key":"24_CR7","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/BF02011875","volume":"19","author":"M. Coppo","year":"1978","unstructured":"M. Coppo, M. Dezani: A new type assignment for \u03bb-terms, Archiv. Math. Logik 19 (1978), pp. 139\u2013156.","journal-title":"Archiv. Math. Logik"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"T.W.Doeppner, A.Giacalone: A Formal Description of the UNIX Operating System, Proceedings of the 2nd ACM SIGACT and SIGOPS Symposium on Principles of Distributed Programming, 1983, pp. 241\u2013253.","DOI":"10.1145\/800221.806725"},{"key":"24_CR9","unstructured":"A.Fantechi: On combining META-IV and CCS, Proceedings of the 1984 Workshop on Formal Software Development Methods \u2014 Combining Formal Methods, Springer-Verlag."},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare: Communicating Sequential Processes, Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"24_CR11","unstructured":"S.Holmstr\u00f6m: PFL: A Functional Language for Parallel Programming, and its Implementation, Report no. 7, Programming Methodology Group, University of Gothenburgh, 1983."},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"J.R.Kennaway, M.R.Sleep: Expressions as processes, Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, 1982, pp. 21\u201328.","DOI":"10.1145\/800068.802131"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"J.R.Kennaway, M.R.Sleep: Syntax and informal semantics of DyNe, a parallel language, Proceedings of The Analysis of Concurrent Systems (1983), Springer Lecture Notes in Computer Science 207, 1985.","DOI":"10.1007\/3-540-16047-7_49"},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"D.MacQueen, G.Plotkin, R.Sethi: An ideal model for recursive polymorphic types, Proceedings of the 11th ACM Conference on Principles of Programming Languages, 1984, pp. 165\u2013174.","DOI":"10.1145\/800017.800528"},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"R.Milner: A Calculus of Communicating Systems, Springer Lecture Notes in Computer Science 92, 1980.","DOI":"10.1007\/3-540-10235-3"},{"issue":"1","key":"24_CR16","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/0890-5401(88)90041-7","volume":"76","author":"F. Nielson","year":"1988","unstructured":"F. Nielson: Strictness Analysis and Denotational Abstract Interpretation, Information and Computation 76 1 (1988) pp. 29\u201392.","journal-title":"Information and Computation"},{"key":"24_CR17","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/0304-3975(86)90006-X","volume":"56","author":"F. Nielson","year":"1988","unstructured":"F. Nielson, H.R. Nielson: Two-Level Semantics and Code Generation, TCS 56 (1988) pp. 59\u2013133.","journal-title":"TCS"},{"key":"24_CR18","doi-asserted-by":"crossref","unstructured":"F.Nielson: Two-Level Semantics and Abstract Interpretation, TCS \u2014 Fundamental Studies (1989, to appear).","DOI":"10.1016\/0304-3975(89)90091-1"},{"key":"24_CR19","unstructured":"F.Nielson: A Formal Type System for Comparing Partial Evaluators, Proceedings of the 1987 IFIP TC2 Workshop on Partial Evaluation and Mixed Computation, North-Holland, 1988."},{"key":"24_CR20","unstructured":"G.D.Plotkin: A Structural Approach to Operational Semantics, Report FN-19, Aarhus University, 1981."},{"key":"24_CR21","unstructured":"B.Thomsen: Higher Order CCS, Proceedings of the 1989 ACM Conference on Principles of Programming Languages, 1989."}],"container-title":["Lecture Notes in Computer Science","PARLE '89 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51285-3_52.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,30]],"date-time":"2021-12-30T21:51:13Z","timestamp":1640901073000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51285-3_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540512851","9783540461845"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-51285-3_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}