{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:00:08Z","timestamp":1762459208343},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662445839"},{"type":"electronic","value":"9783662445846"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44584-6_28","type":"book-chapter","created":{"date-parts":[[2014,8,23]],"date-time":"2014-08-23T01:21:03Z","timestamp":1408756863000},"page":"402-418","source":"Crossref","is-referenced-by-count":10,"title":["A Semantic Deconstruction of Session Types"],"prefix":"10.1007","author":[{"given":"Massimo","family":"Bartoletti","sequence":"first","affiliation":[]},{"given":"Alceste","family":"Scalas","sequence":"additional","affiliation":[]},{"given":"Roberto","family":"Zunino","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"28_CR1","doi-asserted-by":"crossref","unstructured":"Barbanera, F., de\u2019 Liguoro, U.: Two Notions of Sub-behaviour for Session-based Client\/Server Systems. In: PPDP. ACM SIGPLAN. ACM (2010)","DOI":"10.1145\/1836089.1836109"},{"key":"28_CR2","doi-asserted-by":"crossref","unstructured":"Barbanera, F., de\u2019 Liguoro, U.: Loosening the notions of compliance and sub-behaviour in client\/server systems. In: ICE (2014)","DOI":"10.4204\/EPTCS.166.10"},{"key":"28_CR3","doi-asserted-by":"crossref","unstructured":"Bartoletti, M., Cimoli, T., Zunino, R.: A theory of agreements and protection. In: Basin, D., Mitchell, J.C. (eds.) POST 2013. LNCS, vol.\u00a07796, pp. 186\u2013205. Springer, Heidelberg (2013)","DOI":"10.1007\/978-3-642-36830-1_10"},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"Bartoletti, M., Scalas, A., Tuosto, E., Zunino, R.: Honesty by typing. In: Beyer, D., Boreale, M. (eds.) FMOODS\/FORTE 2013. LNCS, vol.\u00a07892, pp. 305\u2013320. Springer, Heidelberg (2013)","DOI":"10.1007\/978-3-642-38592-6_21"},{"key":"28_CR5","doi-asserted-by":"crossref","unstructured":"Bartoletti, M., Scalas, A., Zunino, R.: A semantic deconstruction of session types. Tech. rep. (2014), http:\/\/tcs.unica.it\/publications","DOI":"10.1007\/978-3-662-44584-6_28"},{"key":"28_CR6","doi-asserted-by":"crossref","unstructured":"Bernardi, G., Hennessy, M.: Compliance and testing preorders differ. In: SEFM Workshops (2013)","DOI":"10.1007\/978-3-319-05032-4_6"},{"key":"28_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/978-3-540-85361-9_33","volume-title":"CONCUR 2008 - Concurrency Theory","author":"L. Bettini","year":"2008","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)"},{"key":"28_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-642-15375-4_12","volume-title":"CONCUR 2010 - Concurrency Theory","author":"L. Bocchi","year":"2010","unstructured":"Bocchi, L., Honda, K., Tuosto, E., Yoshida, N.: A theory of design-by-contract for distributed multiparty interactions. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol.\u00a06269, pp. 162\u2013176. Springer, Heidelberg (2010)"},{"key":"28_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-540-77351-1_4","volume-title":"Software Composition","author":"M. Bravetti","year":"2007","unstructured":"Bravetti, M., Zavattaro, G.: Towards a unifying theory for choreography conformance and contract compliance. In: Lumpe, M., Vanderperren, W. (eds.) SC 2007. LNCS, vol.\u00a04829, pp. 34\u201350. Springer, Heidelberg (2007)"},{"key":"28_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-642-01364-5_3","volume-title":"Web Services and Formal Methods","author":"M. Bravetti","year":"2009","unstructured":"Bravetti, M., Zavattaro, G.: Contract compliance and choreography conformance in the presence of message queues. In: Bruni, R., Wolf, K. (eds.) WS-FM 2008. LNCS, vol.\u00a05387, pp. 37\u201354. Springer, Heidelberg (2009)"},{"key":"28_CR11","doi-asserted-by":"crossref","unstructured":"Caires, L., Vieira, H.T.: Conversation types. Theor. Comput. Sci.\u00a0411(51-52) (2010)","DOI":"10.1016\/j.tcs.2010.09.010"},{"key":"28_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/11841197_10","volume-title":"Web Services and Formal Methods","author":"S. Carpineti","year":"2006","unstructured":"Carpineti, S., Castagna, G., Laneve, C., Padovani, L.: A formal account of contracts for Web Services. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 148\u2013162. Springer, Heidelberg (2006)"},{"key":"28_CR13","doi-asserted-by":"crossref","unstructured":"Castagna, G., Dezani-Ciancaglini, M., Padovani, L.: On global types and multi-party session. Logical Methods in Computer Science\u00a08(1) (2012)","DOI":"10.2168\/LMCS-8(1:24)2012"},{"key":"28_CR14","doi-asserted-by":"crossref","unstructured":"Castagna, G., Gesbert, N., Padovani, L.: A theory of contracts for Web services. ACM TOPLAS\u00a031(5) (2009)","DOI":"10.1145\/1538917.1538920"},{"key":"28_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-642-04081-8_15","volume-title":"CONCUR 2009 - Concurrency Theory","author":"G. Castagna","year":"2009","unstructured":"Castagna, G., Padovani, L.: Contracts for mobile processes. In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol.\u00a05710, pp. 211\u2013228. Springer, Heidelberg (2009)"},{"key":"28_CR16","doi-asserted-by":"crossref","unstructured":"De Nicola, R., Hennessy, M.: CCS without tau\u2019s. In: TAPSOFT, vol.\u00a01 (1987)","DOI":"10.1007\/3-540-17660-8_53"},{"key":"28_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-642-39212-2_18","volume-title":"Automata, Languages, and Programming","author":"P.-M. Deni\u00e9lou","year":"2013","unstructured":"Deni\u00e9lou, P.-M., Yoshida, N.: Multiparty compatibility in communicating automata: Characterisation and synthesis of global session types. In: Fomin, F.V., Freivalds, R., Kwiatkowska, M., Peleg, D. (eds.) ICALP 2013, Part II. LNCS, vol.\u00a07966, pp. 174\u2013186. Springer, Heidelberg (2013)"},{"key":"28_CR18","doi-asserted-by":"crossref","unstructured":"Gay, S., Hole, M.: Subtyping for session types in the Pi calculus. Acta Inf.\u00a042(2) (2005)","DOI":"10.1007\/s00236-005-0177-z"},{"key":"28_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1007\/3-540-57208-2_35","volume-title":"CONCUR\u201993","author":"K. Honda","year":"1993","unstructured":"Honda, K.: Types for dyadic interaction. In: Best, E. (ed.) CONCUR 1993. LNCS, vol.\u00a0715, pp. 509\u2013523. Springer, Heidelberg (1993)"},{"key":"28_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/BFb0053567","volume-title":"Programming Languages and Systems","author":"K. Honda","year":"1998","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)"},{"key":"28_CR21","doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: POPL (2008)","DOI":"10.1145\/1328438.1328472"},{"key":"28_CR22","doi-asserted-by":"crossref","unstructured":"Kouzapas, D., Yoshida, N., Honda, K.: On asynchronous session semantics. In: Bruni, R., Dingel, J. (eds.) FMOODS\/FORTE 2011. LNCS, vol.\u00a06722, pp. 228\u2013243. Springer, Heidelberg (2011)","DOI":"10.1007\/978-3-642-21461-5_15"},{"key":"28_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-642-21464-6_7","volume-title":"Coordination Models and Languages","author":"D. Mostrous","year":"2011","unstructured":"Mostrous, D., Vasconcelos, V.T.: Session typing for a featherweight Erlang. In: De Meuter, W., Roman, G.-C. (eds.) COORDINATION 2011. LNCS, vol.\u00a06721, pp. 95\u2013109. Springer, Heidelberg (2011)"},{"key":"28_CR24","unstructured":"Neubauer, M., Thiemann, P.: Session types for asynchronous communication. Universit\u00e4t Freiburg (2004)"},{"key":"28_CR25","doi-asserted-by":"crossref","unstructured":"Padovani, L.: Contract-based discovery of web services modulo simple orchestrators. Theor. Comput. Sci.\u00a0411(37) (2010)","DOI":"10.1016\/j.tcs.2010.05.002"},{"key":"28_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-662-43376-8_10","volume-title":"Coordination Models and Languages","author":"L. Padovani","year":"2014","unstructured":"Padovani, L., Vasconcelos, V.T., Vieira, H.T.: Typing liveness in multiparty communicating systems. In: K\u00fchn, E., Pugliese, R. (eds.) COORDINATION 2014. LNCS, vol.\u00a08459, pp. 147\u2013162. Springer, Heidelberg (2014)"},{"key":"28_CR27","doi-asserted-by":"crossref","unstructured":"Sangiorgi, D.: An introduction to bisimulation and coinduction. Cambridge University Press, Cambridge (2012)","DOI":"10.1017\/CBO9780511777110"},{"key":"28_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1007\/3-540-58184-7_118","volume-title":"PARLE \u201994 Parallel Architectures and Languages Europe","author":"K. Takeuchi","year":"1994","unstructured":"Takeuchi, K., Honda, K., Kubo, M.: An interaction-based language and its typing system. In: Halatsis, C., Philokyprou, G., Maritsas, D., Theodoridis, S. (eds.) PARLE 1994. LNCS, vol.\u00a0817, pp. 398\u2013413. Springer, Heidelberg (1994)"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2014 \u2013 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44584-6_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,16]],"date-time":"2023-07-16T05:58:47Z","timestamp":1689487127000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44584-6_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662445839","9783662445846"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44584-6_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}