{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:58:37Z","timestamp":1762459117551},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642384929"},{"type":"electronic","value":"9783642384936"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38493-6_17","type":"book-chapter","created":{"date-parts":[[2013,5,10]],"date-time":"2013-05-10T00:45:06Z","timestamp":1368146706000},"page":"236-250","source":"Crossref","is-referenced-by-count":11,"title":["Typing Progress in Communication-Centred Systems"],"prefix":"10.1007","author":[{"given":"Hugo","family":"Torres Vieira","sequence":"first","affiliation":[]},{"given":"Vasco","family":"Thudichum Vasconcelos","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"Baltazar, P., Caires, L., Vasconcelos, V.T., Vieira, H.T.: A type system for flexible role assignment in multiparty communicating systems. In: Proceedings of the TGC 2012. LNCS. Springer (to appear, 2013)"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Bettini, L., Coppo, M., D\u2019Antoni, L., De Luca, M., Dezani-Ciancaglini, M., Yoshida, N.: Global progress in dynamically interleaved multiparty sessions. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol.\u00a05201, pp. 418\u2013433. Springer, Heidelberg (2008)","DOI":"10.1007\/978-3-540-85361-9_33"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Caires, L., Vieira, H.T.: Conversation types. Theor. Comput. Sci.\u00a0411(51-52), 4399\u20134440 (2010)","DOI":"10.1016\/j.tcs.2010.09.010"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Dezani-Ciancaglini, M., de\u2019Liguoro, U., Yoshida, N.: On Progress for Structured Communications. In: Barthe, G., Fournet, C. (eds.) TGC 2007. LNCS, vol.\u00a04912, pp. 257\u2013275. Springer, Heidelberg (2008)","DOI":"10.1007\/978-3-540-78663-4_18"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"F\u00e4hndrich, M., Aiken, M., Hawblitzel, C., Hodson, O., Hunt, G.C., Larus, J.R., Levi, S.: Language support for fast and reliable message-based communication in singularity OS. In: Proceedings of the EuroSys 2006, pp. 177\u2013190. ACM (2006)","DOI":"10.1145\/1217935.1217953"},{"issue":"2-3","key":"17_CR6","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/s00236-005-0177-z","volume":"42","author":"S.J. Gay","year":"2005","unstructured":"Gay, S.J., Hole, M.: Subtyping for session types in the pi calculus. Acta Inf.\u00a042(2-3), 191\u2013225 (2005)","journal-title":"Acta Inf"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Gay, S.J., Vasconcelos, V.T., Ravara, A., Gesbert, N., Caldeira, A.Z.: Modular session types for distributed object-oriented programming. In: Proceedings of the POPL 2010, pp. 299\u2013312. ACM (2010)","DOI":"10.1145\/1707801.1706335"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Honda, K.: Types for dyadic interaction. In: Best, E. (ed.) CONCUR 1993. LNCS, vol.\u00a0715, pp. 509\u2013523. Springer, Heidelberg (1993)","DOI":"10.1007\/3-540-57208-2_35"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Honda, K., Vasconcelos, V.T., Kubo, M.: Language primitives and type discipline for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol.\u00a01381, pp. 122\u2013138. Springer, Heidelberg (1998)","DOI":"10.1007\/BFb0053567"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: Proceedings of the POPL 2008, pp. 273\u2013284. ACM (2008)","DOI":"10.1145\/1328897.1328472"},{"issue":"2","key":"17_CR11","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1016\/S0890-5401(02)93171-8","volume":"177","author":"N. Kobayashi","year":"2002","unstructured":"Kobayashi, N.: A type system for lock-free processes. Inf. Comput.\u00a0177(2), 122\u2013159 (2002)","journal-title":"Inf. Comput."},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Lynch, N.A.: Fast allocation of nearby resources in a distributed system. In: Proceedings of the STOC 1980, pp. 70\u201381. ACM (1980)","DOI":"10.1145\/800141.804654"},{"issue":"1","key":"17_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, part I and II. Inf. Comput.\u00a0100(1), 1\u201377 (1992)","journal-title":"Inf. Comput."},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"Padovani, L.: From lock freedom to progress using session types. In: Proceedings of the PLACES (to appear, 2013)","DOI":"10.4204\/EPTCS.137.2"},{"key":"17_CR15","unstructured":"Sangiorgi, D., Walker, D.: The \u03c0-Calculus: A Theory of Mobile Processes. Cambridge University Press (2001)"},{"issue":"4","key":"17_CR16","first-page":"583","volume":"73","author":"A. Vallecillo","year":"2006","unstructured":"Vallecillo, A., Vasconcelos, V.T., Ravara, A.: Typing the behavior of software components using session types. Fundam. Inform.\u00a073(4), 583\u2013598 (2006)","journal-title":"Fundam. Inform."},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Vasconcelos, V.T.: Fundamentals of session types. Inf. Comput.\u00a0217, 52\u201370 (2012)","DOI":"10.1016\/j.ic.2012.05.002"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38493-6_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T00:17:24Z","timestamp":1557706644000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38493-6_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642384929","9783642384936"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38493-6_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}