{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T10:04:22Z","timestamp":1781172262121,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":43,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662496640","type":"print"},{"value":"9783662496657","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-49665-7_24","type":"book-chapter","created":{"date-parts":[[2016,3,21]],"date-time":"2016-03-21T08:09:42Z","timestamp":1458547782000},"page":"401-418","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":59,"title":["Hybrid Session Verification Through Endpoint API Generation"],"prefix":"10.1007","author":[{"given":"Raymond","family":"Hu","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nobuko","family":"Yoshida","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"24_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-642-38592-6_5","volume-title":"Formal Techniques for Distributed Systems","author":"L Bocchi","year":"2013","unstructured":"Bocchi, L., Chen, T.-C., Demangeon, R., Honda, K., Yoshida, N.: Monitoring networks through multiparty session types. In: Beyer, D., Boreale, M. (eds.) FORTE 2013 and FMOODS 2013. LNCS, vol. 7892, pp. 50\u201365. Springer, Heidelberg (2013)"},{"key":"24_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/978-3-642-15375-4_16","volume-title":"CONCUR 2010 - Concurrency Theory","author":"L Caires","year":"2010","unstructured":"Caires, L., Pfenning, F.: Session types as intuitionistic linear propositions. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol. 6269, pp. 222\u2013236. Springer, Heidelberg (2010)"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Chen, T., Dezani-Ciancaglini, M., Yoshida, N.: On the preciseness of subtyping in session types. In: PPDP 2014, pp. 135\u2013146. ACM (2014)","DOI":"10.1145\/2643135.2643138"},{"key":"24_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1007\/978-3-319-18941-3_4","volume-title":"Formal Methods for Multicore Programming","author":"M Coppo","year":"2015","unstructured":"Coppo, M., Dezani-Ciancaglini, M., Padovani, L., Yoshida, N.: A gentle introduction to multiparty asynchronous session types. In: Bernardo, M., Johnsen, E.B. (eds.) Formal Methods for Multicore Programming. Lecture Notes in Computer Science, vol. 9104, pp. 146\u2013178. Springer, Switzerland (2015)"},{"key":"24_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0960129515000304","volume":"760","author":"M Coppo","year":"2015","unstructured":"Coppo, M., Dezani-Ciancaglini, M., Yoshida, N., Padovani, L.: Global progress for dynamically interleaved multiparty sessions. Math. Struct. Comput. Sci. 760, 1\u201365 (2015)","journal-title":"Math. Struct. Comput. Sci."},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Dardha, O., Giachino, E., Sangiorgi, D.: Session types revisited. In: PPDP 2012, pp. 139\u2013150. ACM Press (2012)","DOI":"10.1145\/2370776.2370794"},{"key":"24_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/978-3-642-23217-6_19","volume-title":"CONCUR 2011 \u2013 Concurrency Theory","author":"R Demangeon","year":"2011","unstructured":"Demangeon, R., Honda, K.: Full abstraction in a subtyped pi-Calculus with linear types. In: Katoen, J.-P., K\u00f6nig, B. (eds.) CONCUR 2011. LNCS, vol. 6901, pp. 280\u2013296. Springer, Heidelberg (2011)"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Demangeon, R., Honda, K., Hu, R., Neykova, R., Yoshida, N.: Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python. In: Formal Methods in System Design, pp. 1\u201329 (2015)","DOI":"10.1007\/s10703-014-0218-8"},{"key":"24_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-642-28869-2_10","volume-title":"Programming Languages and Systems","author":"P-M Deni\u00e9lou","year":"2012","unstructured":"Deni\u00e9lou, P.-M., Yoshida, N.: Multiparty session types meet communicating automata. In: Seidl, H. (ed.) Programming Languages and Systems. LNCS, vol. 7211, pp. 194\u2013213. Springer, Heidelberg (2012)"},{"key":"24_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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. 7966, pp. 174\u2013186. Springer, Heidelberg (2013)"},{"issue":"2\/3","key":"24_CR11","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s00236-005-0177-z","volume":"42","author":"S Gay","year":"2005","unstructured":"Gay, S., Hole, M.: Subtyping for session types in the Pi-Calculus. Acta Informatica 42(2\/3), 191\u2013225 (2005)","journal-title":"Acta Informatica"},{"issue":"1","key":"24_CR12","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1017\/S0956796809990268","volume":"20","author":"S Gay","year":"2010","unstructured":"Gay, S., Vasconcelos, V.T.: Linear type theory for asynchronous session types. J. Funct. Program. 20(1), 19\u201350 (2010)","journal-title":"J. Funct. Program."},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"Gay, S., Vasconcelos, V.T., Ravara, A., Gesbert, N., Caldeira, A.Z.: Modular session types for distributed object-oriented programming. In: POPL 2010, pp. 299\u2013312. ACM (2010)","DOI":"10.1145\/1707801.1706335"},{"key":"24_CR14","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. 1381, p. 122. Springer, Heidelberg (1998)"},{"issue":"1","key":"24_CR15","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1145\/1328897.1328472","volume":"43","author":"Kohei Honda","year":"2008","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: POPL 2008, pp. 273\u2013284. ACM (2008). (Full version to appear in JACM)","journal-title":"ACM SIGPLAN Notices"},{"key":"24_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/978-3-642-14107-2_16","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"R Hu","year":"2010","unstructured":"Hu, R., Kouzapas, D., Pernet, O., Yoshida, N., Honda, K.: Type-safe eventful sessions in Java. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol. 6183, pp. 329\u2013353. Springer, Heidelberg (2010)"},{"key":"24_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"516","DOI":"10.1007\/978-3-540-70592-5_22","volume-title":"ECOOP 2008 \u2013 Object-Oriented Programming","author":"R Hu","year":"2008","unstructured":"Hu, R., Yoshida, N., Honda, K.: Session-based distributed programming in Java. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol. 5142, pp. 516\u2013541. Springer, Heidelberg (2008)"},{"key":"24_CR18","unstructured":"IETF. Simple Mail Transfer Protocol. https:\/\/tools.ietf.org\/html\/rfc5321"},{"key":"24_CR19","unstructured":"Jolie homepage. http:\/\/www.jolie-lang.org\/"},{"key":"24_CR20","doi-asserted-by":"crossref","unstructured":"Lange, J., Tuosto, E., Yoshida, N.: From communicating machines to graphical choreographies. In: POPL 2015, pp. 221\u2013232. ACM Press (2015)","DOI":"10.1145\/2775051.2676964"},{"key":"24_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1007\/978-3-662-46669-8_23","volume-title":"Programming Languages and Systems","author":"S Lindley","year":"2015","unstructured":"Lindley, S., Morris, J.G.: A semantics for propositions as sessions. In: Vitek, J. (ed.) ESOP 2015. LNCS, vol. 9032, pp. 560\u2013584. Springer, Heidelberg (2015)"},{"key":"24_CR22","unstructured":"Links homepage. http:\/\/groups.inf.ed.ac.uk\/links\/"},{"issue":"10","key":"24_CR23","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1145\/2858965.2814302","volume":"50","author":"Hugo A. L\u00f3pez","year":"2015","unstructured":"Lopez, H.A., Marques, E.R.B., Martins, F., Ng, N., Santos, C., Vasconcelos, V.T., Yoshida, N.: Protocol-based verification of message-passing parallel programs. In: OOPSLA 2015, pp. 280\u2013298. ACM (2015)","journal-title":"ACM SIGPLAN Notices"},{"key":"24_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-662-43376-8_8","volume-title":"Coordination Models and Languages","author":"D Mostrous","year":"2014","unstructured":"Mostrous, D., Vasconcelos, V.T.: Affine sessions. In: K\u00fchn, E., Pugliese, R. (eds.) COORDINATION 2014. LNCS, vol. 8459, pp. 115\u2013130. Springer, Heidelberg (2014)"},{"key":"24_CR25","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/j.ic.2015.02.002","volume":"241","author":"D Mostrous","year":"2015","unstructured":"Mostrous, D., Yoshida, N.: Session typing and asynchronous subtyping for the higher-order $$\\pi $$ \u03c0 -calculus. Inf. Comput. 241, 227\u2013263 (2015)","journal-title":"Inf. Comput."},{"key":"24_CR26","unstructured":"Mungo homepage. http:\/\/www.dcs.gla.ac.uk\/research\/mungo\/"},{"key":"24_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-3-540-24836-1_5","volume-title":"Practical Aspects of Declarative Languages","author":"M Neubauer","year":"2004","unstructured":"Neubauer, M., Thiemann, P.: An implementation of session types. In: Jayaraman, B. (ed.) PADL 2004. LNCS, vol. 3057, pp. 56\u201370. Springer, Heidelberg (2004)"},{"key":"24_CR28","doi-asserted-by":"crossref","first-page":"19","DOI":"10.4204\/EPTCS.162.3","volume":"162","author":"Rumyana Neykova","year":"2014","unstructured":"Neykova, R., Bocchi, L., Yoshida, N.: Timed runtime monitoring for multiparty conversations. In: BEAT 2014, EPTCS, vol. 162, pp. 19\u201326 (2014)","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"24_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-662-43376-8_9","volume-title":"Coordination Models and Languages","author":"R Neykova","year":"2014","unstructured":"Neykova, R., Yoshida, N.: Multiparty session actors. In: K\u00fchn, E., Pugliese, R. (eds.) COORDINATION 2014. LNCS, vol. 8459, pp. 131\u2013146. Springer, Heidelberg (2014)"},{"key":"24_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-662-46663-6_11","volume-title":"Compiler Construction","author":"N Ng","year":"2015","unstructured":"Ng, N., de Figueiredo Coutinho, J.G., Yoshida, N.: Protocols by default. In: Franke, B. (ed.) CC 2015. LNCS, vol. 9031, pp. 212\u2013232. Springer, Heidelberg (2015)"},{"key":"24_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/978-3-642-30561-0_15","volume-title":"Objects, Models, Components, Patterns","author":"N Ng","year":"2012","unstructured":"Ng, N., Yoshida, N., Honda, K.: Multiparty session C: safe parallel programming with message optimisation. In: Furia, C.A., Nanz, S. (eds.) TOOLS 2012. LNCS, vol. 7304, pp. 202\u2013218. Springer, Heidelberg (2012)"},{"key":"24_CR32","unstructured":"Padovani, L.: A Simple Library Implementation of Binary Sessions (Unpublished). https:\/\/hal.archives-ouvertes.fr\/hal-01216310"},{"key":"24_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-662-46678-0_1","volume-title":"Foundations of Software Science and Computation Structures","author":"F Pfenning","year":"2015","unstructured":"Pfenning, F., Griffith, D.: Polarized substructural session types. In: Pitts, A. (ed.) FOSSACS 2015. LNCS, vol. 9034, pp. 3\u201322. Springer, Heidelberg (2015)"},{"key":"24_CR34","doi-asserted-by":"crossref","unstructured":"Pucella, R., Tov, J.A.: Haskell session types with (almost) no class. In: Haskell 2008, pp. 25\u201336. ACM (2008)","DOI":"10.1145\/1411286.1411290"},{"key":"24_CR35","unstructured":"Sackman, M., Eisenbach, S.: Session types in haskell (Unpublished). http:\/\/pubs.doc.ic.ac.uk\/session-types-in-haskell\/"},{"key":"24_CR36","unstructured":"Scalas, A., Yoshida, N.: Lightweight session types in Scala (Unpublished). http:\/\/www.doc.ic.ac.uk\/research\/technicalreports\/2015\/#7"},{"key":"24_CR37","unstructured":"Scribble homepage. http:\/\/www.scribble.org"},{"key":"24_CR38","unstructured":"Session types use cases: SMTP (Scribble). https:\/\/github.com\/epsrc-abcd\/session-types-use-cases\/tree\/master\/Simple%20Mail%20Tranfer%20Protocol\/scribble"},{"key":"24_CR39","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":"KC 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. 6116, pp. 152\u2013167. Springer, Heidelberg (2010)"},{"key":"24_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1007\/978-3-642-37036-6_20","volume-title":"Programming Languages and Systems","author":"B Toninho","year":"2013","unstructured":"Toninho, B., Caires, L., Pfenning, F.: Higher-order processes, functions, and sessions: a monadic integration. In: Felleisen, M., Gardner, P. (eds.) ESOP 2013. LNCS, vol. 7792, pp. 350\u2013369. Springer, Heidelberg (2013)"},{"key":"24_CR41","doi-asserted-by":"crossref","unstructured":"Wadler, P.: Proposition as sessions. In: ICFP 2012, pp. 273\u2013286 (2012)","DOI":"10.1145\/2398856.2364568"},{"key":"24_CR42","unstructured":"Survey on languages based on behavioural types. http:\/\/www.di.unito.it\/~padovani\/BETTY\/BETTY_WG3_state_of_art.pdf"},{"key":"24_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-319-05119-2_3","volume-title":"Trustworthy Global Computing","author":"N Yoshida","year":"2014","unstructured":"Yoshida, N., Hu, R., Neykova, R., Ng, N.: The scribble protocol language. In: Abadi, M., Lluch Lafuente, A. (eds.) TGC 2013. LNCS, vol. 8358, pp. 22\u201341. Springer, Heidelberg (2014)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49665-7_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,17]],"date-time":"2023-08-17T08:37:29Z","timestamp":1692261449000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49665-7_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662496640","9783662496657"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49665-7_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}