{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:15:21Z","timestamp":1725664521212},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602187"},{"type":"electronic","value":"9783540447382"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60218-6_8","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:51:41Z","timestamp":1330278701000},"page":"103-116","source":"Crossref","is-referenced-by-count":8,"title":["A polymorphic type system for the polyadic \u03c0-calculus"],"prefix":"10.1007","author":[{"given":"Xinxin","family":"Liu","sequence":"first","affiliation":[]},{"given":"David","family":"Walker","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"S. Gay. A sort inference algorithm for the polyadic \u03c0-calculus. In Proceedings of 20th POPL. ACM Press, 1993.","key":"8_CR1","DOI":"10.1145\/158511.158701"},{"doi-asserted-by":"crossref","unstructured":"C. Jones. A pi-calculus semantics for an object-based design notation. In Proceedings of CONCUR'93, pages 158\u2013172. Springer, 1993.","key":"8_CR2","DOI":"10.1007\/3-540-57208-2_12"},{"doi-asserted-by":"crossref","unstructured":"X. Liu and D. Walker. Confluence of processes and systems of objects. In Proceedings of CAAP'95. Springer, to appear.","key":"8_CR3","DOI":"10.1007\/3-540-59293-8_197"},{"unstructured":"R. Milner. Action structures. Technical report, University of Edinburgh, 1992.","key":"8_CR4"},{"key":"8_CR5","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1017\/S0960129500001407","volume":"2","author":"R. Milner","year":"1992","unstructured":"R. Milner. Functions as processes. Mathematical Structures in Computer Science, 2:119\u2013141, 1992.","journal-title":"Mathematical Structures in Computer Science"},{"doi-asserted-by":"crossref","unstructured":"R. Milner. The polyadic \u03c0-calculus: a tutorial. In Logic and Algebra of Specification. Springer, 1992.","key":"8_CR6","DOI":"10.1007\/978-3-642-58041-3_6"},{"key":"8_CR7","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 processes, parts 1 and 2. Information and Computation, 100:1\u201377, 1992.","journal-title":"Information and Computation"},{"unstructured":"B. Pierce. Programming in the \u03c0-calculus. Technical report, University of Edinburgh, 1994.","key":"8_CR8"},{"doi-asserted-by":"crossref","unstructured":"B. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. In Proceedings of LICS'93, pages 376\u2013385. Computer Society Press, 1993.","key":"8_CR9","DOI":"10.1109\/LICS.1993.287570"},{"unstructured":"D. Sangiorgi. Expressing mobility in process algebras: first-order and higher-order paradigms. PhD thesis, University of Edinburgh, 1992.","key":"8_CR10"},{"key":"8_CR11","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1006\/inco.1994.1042","volume":"111","author":"D. Sangiorgi","year":"1994","unstructured":"D. Sangiorgi. The lazy lambda-calculus in a concurrency scenario. Information and Computation, 111:120\u2013153, 1994.","journal-title":"Information and Computation"},{"doi-asserted-by":"crossref","unstructured":"D. Sangiorgi. Locality and true-concurrency in calculi for mobile processes. In Proceedings of TACS'94, pages 405\u2013420. Springer, 1994.","key":"8_CR12","DOI":"10.1007\/3-540-57887-0_107"},{"unstructured":"D. Turner. PhD thesis, University of Edinburgh, forthcoming.","key":"8_CR13"},{"doi-asserted-by":"crossref","unstructured":"V. Vasconcelos and K. Honda. Principal typing schemes in the polyadic \u03c0-calculus. In Proceedings of CONCUR'93. Springer, 1993.","key":"8_CR14","DOI":"10.1007\/3-540-57208-2_36"},{"key":"8_CR15","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1006\/inco.1995.1018","volume":"116","author":"D. Walker","year":"1995","unstructured":"D. Walker. Objects in the \u03c0-calculus. Information and Computation, 116:253\u2013271, 1995.","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","CONCUR '95: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60218-6_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:56:05Z","timestamp":1605646565000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60218-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602187","9783540447382"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-60218-6_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}