{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T03:24:06Z","timestamp":1779074646076,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642288685","type":"print"},{"value":"9783642288692","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28869-2_10","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T16:44:36Z","timestamp":1332434676000},"page":"194-213","source":"Crossref","is-referenced-by-count":99,"title":["Multiparty Session Types Meet Communicating Automata"],"prefix":"10.1007","author":[{"given":"Pierre-Malo","family":"Deni\u00e9lou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nobuko","family":"Yoshida","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Basu, S., Bultan, T., Ouederni, M.: Deciding choreography realizability. In: POPL 2012. ACM (to appear, 2012)"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-3-642-27940-9_5","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"S. Basu","year":"2012","unstructured":"Basu, S., Bultan, T., Ouederni, M.: Synchronizability for Verification of Asynchronously Communicating Systems. In: Kuncak, V., Rybalchenko, A. (eds.) VMCAI 2012. LNCS, vol.\u00a07148, pp. 56\u201371. Springer, Heidelberg (2012)"},{"key":"10_CR3","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":"10_CR4","unstructured":"Business Process Model and Notation, \n                  \n                    http:\/\/www.bpmn.org"},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D. Brand","year":"1983","unstructured":"Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. ACM\u00a030, 323\u2013342 (1983)","journal-title":"J. ACM"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-21461-5_1","volume-title":"Formal Techniques for Distributed Systems","author":"G. Castagna","year":"2011","unstructured":"Castagna, G., Dezani-Ciancaglini, M., Padovani, L.: On Global Types and Multi-party Sessions. In: Bruni, R., Dingel, J. (eds.) FORTE 2011 and FMOODS 2011. LNCS, vol.\u00a06722, pp. 1\u201328. Springer, Heidelberg (2011)"},{"issue":"2","key":"10_CR7","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1016\/j.ic.2005.05.006","volume":"202","author":"G. C\u00e9c\u00e9","year":"2005","unstructured":"C\u00e9c\u00e9, G., Finkel, A.: Verification of programs with half-duplex communication. Inf. Comput.\u00a0202(2), 166\u2013190 (2005)","journal-title":"Inf. Comput."},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Corin, R., Deni\u00e9lou, P.M., Fournet, C., Bhargavan, K., Leifer, J.: Secure implementations for typed session abstractions. In: CSF, pp. 170\u2013186 (2007)","DOI":"10.1109\/CSF.2007.29"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/978-3-642-15375-4_24","volume-title":"CONCUR 2010 - Concurrency Theory","author":"P.M. Deni\u00e9lou","year":"2010","unstructured":"Deni\u00e9lou, P.M., Yoshida, N.: Buffered Communication Analysis in Distributed Multiparty Sessions. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol.\u00a06269, pp. 343\u2013357. Springer, Heidelberg (2010)"},{"key":"10_CR10","unstructured":"Deni\u00e9lou, P.M., Yoshida, N.: Dynamic multirole session types. In: POPL, pp. 435\u2013446. ACM (2011), full version, Prototype at, \n                  \n                    http:\/\/www.doc.ic.ac.uk\/~pmalo\/dynamic"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1007\/978-3-540-27755-2_15","volume-title":"Lectures on Concurrency and Petri Nets","author":"B. Genest","year":"2004","unstructured":"Genest, B., Muscholl, A., Peled, D.: Message Sequence Charts. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol.\u00a03098, pp. 537\u2013558. Springer, Heidelberg (2004)"},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1016\/S0019-9958(84)80014-5","volume":"63","author":"M. Gouda","year":"1984","unstructured":"Gouda, M., Manning, E., Yu, Y.: On the progress of communication between two finite state machines. Information and Control\u00a063, 200\u2013216 (1984)","journal-title":"Information and Control"},{"key":"10_CR13","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":"10_CR14","doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty Asynchronous Session Types. In: POPL 2008, pp. 273\u2013284. ACM (2008)","DOI":"10.1145\/1328897.1328472"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-642-21461-5_15","volume-title":"Formal Techniques for Distributed Systems","author":"D. Kouzapas","year":"2011","unstructured":"Kouzapas, D., Yoshida, N., Honda, K.: On Asynchronous Session Semantics. In: Bruni, R., Dingel, J. (eds.) FORTE 2011 and FMOODS 2011. LNCS, vol.\u00a06722, pp. 228\u2013243. Springer, Heidelberg (2011)"},{"key":"10_CR16","volume-title":"WS-FM","author":"E. Lozes","year":"2011","unstructured":"Lozes, E., Villard, J.: Reliable contracts for unreliable half-duplex communications. In: WS-FM. Springer, Heidelberg (2011) (to appear)"},{"key":"10_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-642-21464-6_8","volume-title":"Coordination Models and Languages","author":"N. Ng","year":"2011","unstructured":"Ng, N., Yoshida, N., Pernet, O., Hu, R., Kryftis, Y.: Safe Parallel Programming with Session Java. In: De Meuter, W., Roman, G.-C. (eds.) COORDINATION 2011. LNCS, vol.\u00a06721, pp. 110\u2013126. Springer, Heidelberg (2011)"},{"key":"10_CR18","unstructured":"Online Appendix, \n                  \n                    http:\/\/www.doc.ic.ac.uk\/~malo\/msa\/"},{"key":"10_CR19","unstructured":"Savara JBoss Project, \n                  \n                    http:\/\/www.jboss.org\/savara"},{"key":"10_CR20","unstructured":"Scribble JBoss Project, \n                  \n                    http:\/\/www.jboss.org\/scribble"},{"key":"10_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-642-13414-2_11","volume-title":"Coordination Models and Languages","author":"K.C. Sivaramakrishnan","year":"2010","unstructured":"Sivaramakrishnan, K.C., Nagaraj, K., Ziarek, L., Eugster, P.: Efficient Session Type Guided Distributed Interaction. In: Clarke, D., Agha, G. (eds.) COORDINATION 2010. LNCS, vol.\u00a06116, pp. 152\u2013167. Springer, Heidelberg (2010)"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Swamy, N., Chen, J., Fournet, C., Strub, P.Y., Bharagavan, K., Yang, J.: Secure distributed programming with value-dependent types. In: ICFP, pp. 266\u2013278. ACM (2011)","DOI":"10.1145\/2034574.2034811"},{"key":"10_CR23","unstructured":"Villard, J.: Heaps and Hops. Ph.D. thesis, ENS Cachan (2011)"},{"key":"10_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-642-12032-9_10","volume-title":"Foundations of Software Science and Computational Structures","author":"N. Yoshida","year":"2010","unstructured":"Yoshida, N., Deni\u00e9lou, P.M., Bejleri, A., Hu, R.: Parameterised Multiparty Session Types. In: Ong, L. (ed.) FOSSACS 2010. LNCS, vol.\u00a06014, pp. 128\u2013145. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28869-2_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T07:13:37Z","timestamp":1620112417000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28869-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642288685","9783642288692"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28869-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}