{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T10:04:21Z","timestamp":1781172261036,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540656999","type":"print"},{"value":"9783540490999","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-49099-x_6","type":"book-chapter","created":{"date-parts":[[2007,6,24]],"date-time":"2007-06-24T21:03:21Z","timestamp":1182719001000},"page":"74-90","source":"Crossref","is-referenced-by-count":58,"title":["Types and Subtypes for Client-Server Interactions"],"prefix":"10.1007","author":[{"given":"Simon","family":"Gay","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Malcolm","family":"Hole","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2002,3,28]]},"reference":[{"key":"6_CR1","volume-title":"Asynchrony and the \u03c0-calculus (note)","author":"G. Boudol","year":"1992","unstructured":"G. Boudol. Asynchrony and the \u03c0-calculus (note). Rapporte de Recherche 1702, INRJA Sofia-Antipolis, May 1992."},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"S. J. Gay. A sort inference algorithm for the polyadic \u03c0-calculus. In Proceedings, 20th ACM Symposium on Principles of Programming Languages. ACM Press, 1993.","DOI":"10.1145\/158511.158701"},{"issue":"1","key":"6_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"J.-Y. Girard. Linear Logic. Theoretical Computer Science, 50(1):1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"6_CR4","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the European Conference on Object-Oriented Programming","author":"K. Honda","year":"1994","unstructured":"K. Honda and M. Tokoro. An object calculus for asynchronous communication. In Proceedings of the European Conference on Object-Oriented Programming, LNCS. Springer-Verlag, 1994."},{"key":"6_CR5","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the European Symposium on Programming","author":"K. Honda","year":"1998","unstructured":"K. Honda, V. Vasconcelos, and M. Kubo. Language primitives and type discipline for structured communication-based programming. In Proceedings of the European Symposium on Programming, Lecture Notes in Computer Science. Springer-Verlag, 1998."},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"K. Honda and N. Yoshida. Combinatory representation of mobile processes. In Proceedings, 21st ACM Symposium on Principles of Programming Languages, 1994.","DOI":"10.1145\/174675.177953"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"N. Kobayashi. A partially deadlock-free typed process calculus. In Proceedings, Twelfth Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Society Press, 1997.","DOI":"10.1109\/LICS.1997.614941"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1145\/276393.278524","volume":"20","author":"N. Kobayashi","year":"1998","unstructured":"N. Kobayashi. A partially deadlock-free typed process calculus. ACM Transactions on Programming Languages and Systems, 20:436\u2013482, 1998.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"6_CR9","unstructured":"N. Kobayashi, B. C. Pierce, and Kobayashi D. N. Turner. Linearity and the pi-calculus. In Proceedings, 23rd ACM Symposium on Principles of Programming Languages"},{"issue":"4","key":"6_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0956796800001131","volume":"4","author":"I. Mackie","year":"1994","unstructured":"I. Mackie Lilac: A functional programming language based on linear logic. Journal of Functional Programming,4(4):1\u201339, October 1994.","journal-title":"Journal of Functional Programming"},{"key":"6_CR11","unstructured":"R. Milner. The polyadic \u03c0-calculus: A tutorial. Technical Report 91-180 Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh, 1991."},{"issue":"1","key":"6_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, I and II. Information and Computation, 100(1):1\u201377, September 1992.","journal-title":"Information and Computation"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"J. Myers and M. Rose. Post office protocol version 3, May 1996. Internet Standards RFC 1939.","DOI":"10.17487\/rfc1939"},{"issue":"10","key":"6_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/167962.167976","volume":"28","author":"0. Nierstrasz","year":"1993","unstructured":"0. Nierstrasz. Regular types for active objects.ACM Sigplan Notices, 28(10):1\u201315, October 1993.","journal-title":"ACM Sigplan Notices"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"B. Pierce and D. Sangiorgi. Types and subtypes for mobile processes. In Proceedings, Eighth Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Society Press, 1993.","DOI":"10.1109\/LICS.1993.287570"},{"key":"6_CR16","unstructured":"B. C. Pierce and D. N. Turner. Pict: A programming language based on the pi-calculus. Technical Report CSCI 476, Computer Science Department, Indiana University, 1997. To appear in Proof, Language and Interaction: Essays in Honour of Robin Milner, Gordon Plotkin, Colin Stirling, and Mads Tofte, editors, MIT Press, 1998."},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"B. C. Pierce and D. N. Turner. Local type inference. In Proceedings, S5th ACM Symposium on Principles of Programming Languages, 1998.","DOI":"10.1145\/268946.268967"},{"key":"6_CR18","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the European Conference on Parallel Processing (EuroPar\u201996)","author":"F. Puntigam","year":"1996","unstructured":"F. Puntigam. Synchronization expressed in types of communication channels. In Proceedings of the European Conference on Parallel Processing (EuroPar\u201996), volume 1123 of Lecture Notes in Computer Science. Springer-Verlag, 1996."},{"key":"6_CR19","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the European Conference on Object-Oriented Programming (ECOOP\u201997)","author":"F. Puntigam","year":"1997","unstructured":"F. Puntigam. Coordination requirements expressed in types for active objects. In M. Aksit and S. Matsuoka, editors, Proceedings of the European Conference on Object-Oriented Programming (ECOOP\u201997), volume 1241 of Lecture Notes in Computer Science. Springer-Verlag, 1997."},{"key":"6_CR20","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the 6th European Conference on Parallel Languages and Architectures","author":"K. Takeuchi","year":"1994","unstructured":"K. Takeuchi, K. Honda, and M. Kubo. An interaction-based language and its typing system. In Proceedings of the 6th European Conference on Parallel Languages and Architectures, number 817 in Lecture Notes in Computer Science. Springer-Verlag"},{"key":"6_CR21","unstructured":"D. N. Turner. The Polymorphic Pi-Calculus: Theory and Implementation. PhD thesis, University of Edinburgh, 1996."}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49099-X_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T09:32:50Z","timestamp":1556530370000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49099-X_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540656999","9783540490999"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-49099-x_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}