{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:22:01Z","timestamp":1725495721817},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677154"},{"type":"electronic","value":"9783540450221"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45022-x_34","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T23:57:25Z","timestamp":1194998245000},"page":"403-414","source":"Crossref","is-referenced-by-count":4,"title":["Analysing Input\/Output-Capabilities of Mobile Processes with a Generic Type System"],"prefix":"10.1007","author":[{"given":"Barbara","family":"K\u00f6nig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,2,18]]},"reference":[{"key":"34_CR1","doi-asserted-by":"crossref","unstructured":"Mart\u00edn Abadi. Secrecy by typing in security protocols. In Theoretical Aspects of Computer Software, pages 611\u2013638. Springer-Verlag, 1997.","DOI":"10.1007\/BFb0014571"},{"key":"34_CR2","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90185-I","volume":"96","author":"G. Berry","year":"1992","unstructured":"G\u00e9rard Berry and G\u00e9rard Boudol. The chemical abstract machine. Theoretical Computer Science, 96:217\u2013248, 1992.","journal-title":"Theoretical Computer Science"},{"key":"34_CR3","unstructured":"G. Birkhoff. Lattice Theory. American Mathematical Society, third edition, 1967."},{"key":"34_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1007\/BFb0055617","volume-title":"Proc. of CONCUR\u2019 98","author":"C. Bodei","year":"1998","unstructured":"Chiara Bodei, Pierpaolo Degano, Flemming Nielson, and Hanne Riis Nielson. Control flow analysis for the pi-calculus. In Proc. of CONCUR\u2019 98, pages 84\u201398. Springer-Verlag, 1998. LNCS 1466."},{"key":"34_CR5","doi-asserted-by":"crossref","unstructured":"Simon J. Gay. A sort inference algorithm for the polyadic \u03c0-calculus. In Proc. of POPL\u2019 93. ACM, 1993.","DOI":"10.1145\/158511.158701"},{"key":"34_CR6","doi-asserted-by":"crossref","unstructured":"Kohei Honda. Composing processes. In Proc. of POPL\u201996, pages 344\u2013357. ACM, 1996.","DOI":"10.1145\/237721.237802"},{"key":"34_CR7","doi-asserted-by":"crossref","unstructured":"Naoki Kobayashi. A partially deadlock-free typed process calculus. In Proc. ofLICS\u2019 97, pages 128\u2013139. IEEE, Computer Society Press, 1997.","DOI":"10.1109\/LICS.1997.614941"},{"key":"34_CR8","doi-asserted-by":"crossref","unstructured":"Naoki Kobayashi, Benjamin C. Pierce, and David N. Turner. Linearity and the pi-calculus. In Proc. of POPL\u201996, pages 358\u2013371. ACM, 1996.","DOI":"10.1145\/237721.237804"},{"key":"34_CR9","unstructured":"Barbara K\u00f6nig. Description and Verification of Mobile Processes with Graph Rewriting Techniques. PhD thesis, Technische Universit\u00e4t M\u00fcnchen, 1999."},{"key":"34_CR10","series-title":"Lect Notes Comput Sci","first-page":"352","volume-title":"Proc. of CONCUR\u2019 99","author":"B. K\u00f6nig","year":"1999","unstructured":"Barbara K\u00f6nig. Generating type systems for process graphs. In Proc. of CONCUR\u2019 99, pages 352\u2013367. Springer-Verlag, 1999. LNCS 1664."},{"key":"34_CR11","doi-asserted-by":"crossref","unstructured":"Barbara K\u2019onig. Analysing input\/output-capabilities of mobile processes with a generic type system (extended version). Technical Report TUM-I0009, Technische Universit\u2019at M\u00fcnchen, 2000.","DOI":"10.1007\/3-540-45022-X_34"},{"issue":"1","key":"34_CR12","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. Information and Computation, 100(1): 1\u201377, 1992.","journal-title":"Information and Computation"},{"key":"34_CR13","volume-title":"Logic and Algebra of Specification","author":"R. Milner","year":"1993","unstructured":"Robin Milner. The polyadic \u03c0-calculus: a tutorial. In F. L. Hamer, W. Brauer, and H. Schwichtenberg, editors, Logic and Algebra of Specification. Springer-Verlag, Heidelberg, 1993."},{"key":"34_CR14","unstructured":"Uwe Nestmann and Martin Steffen. Typing confluence. In Second International ERCIM Workshop on Formal Methods in Industrial Critical Systems (Cesena, Italy, July 4\u20135, 1997), pages 77\u2013101, 1997."},{"key":"34_CR15","doi-asserted-by":"crossref","unstructured":"Benjamin Pierce and Davide Sangiorgi. Typing and subtyping for mobile processes. In Proc. ofLICS\u2019 93, pages 376\u2013385, 1993.","DOI":"10.1109\/LICS.1993.287570"},{"key":"34_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1007\/3-540-63165-8_203","volume-title":"Proc. of ICALP\u201997","author":"J. Riely","year":"1997","unstructured":"James Riely and Matthew Hennessy. Distributed processes and location failures. In Proc. of ICALP\u201997, pages 471\u2013481. Springer-Verlag, 1997. LNCS 1256."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45022-X_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T11:25:10Z","timestamp":1556969110000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45022-X_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677154","9783540450221"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-45022-x_34","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}