{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T11:59:23Z","timestamp":1770292763983,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":44,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642190551","type":"print"},{"value":"9783642190568","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-19056-8_4","type":"book-chapter","created":{"date-parts":[[2011,2,1]],"date-time":"2011-02-01T19:55:03Z","timestamp":1296590103000},"page":"55-75","source":"Crossref","is-referenced-by-count":56,"title":["Scribbling Interactions with a Formal Foundation"],"prefix":"10.1007","author":[{"given":"Kohei","family":"Honda","sequence":"first","affiliation":[]},{"given":"Aybek","family":"Mukhamedov","sequence":"additional","affiliation":[]},{"given":"Gary","family":"Brown","sequence":"additional","affiliation":[]},{"given":"Tzu-Chun","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Nobuko","family":"Yoshida","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: a model of concurrent computation in distributed systems","author":"G. Agha","year":"1986","unstructured":"Agha, G.: Actors: a model of concurrent computation in distributed systems. MIT Press, Cambridge (1986)"},{"key":"4_CR2","unstructured":"Armstrong, J.: Programming Erlang: Software for a Concurrent World. Pragmatic Bookshelf (2007)"},{"key":"4_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624193","volume-title":"Process Algebra","author":"J. Baeton","year":"1990","unstructured":"Baeton, J., Wejland, W.: Process Algebra. Cambridge University Press, Cambridge (1990)"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/1629575.1629579","volume-title":"SOSP","author":"A. Baumann","year":"2009","unstructured":"Baumann, A., et al.: The multikernel: a new os architecture for scalable multicore systems. In: SOSP, pp. 29\u201344. ACM, New York (2009)"},{"key":"4_CR5","unstructured":"Baumann, A., Peter, S., Sch\u00fcpbach, A., Singhania, A., Roscoe, T., Barham, P., Isaacs, R.: Your computer is already a distributed system. why isn\u2019t your os? In: Proceedings of the 12th Conference on Hot Topics in Operating Systems, HotOS 2009, pp. 12. USENIX Association, Berkeley (2009)"},{"key":"4_CR6","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., et al.: 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":"4_CR7","doi-asserted-by":"crossref","unstructured":"Bhargavan, K., Corin, R., Deni\u00e9lou, P.-M., Fournet, C., Leifer, J.: Cryptographic protocol synthesis and verification for multiparty sessions. In: CSF, pp. 124\u2013140 (2009)","DOI":"10.1109\/CSF.2009.26"},{"key":"4_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)"},{"issue":"1","key":"4_CR9","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/1189748.1189753","volume":"16","author":"M. Broy","year":"2007","unstructured":"Broy, M., Kr\u00fcger, I.H., Meisinger, M.: A formal model of services. ACM Trans. Softw. Eng. Methodol.\u00a016(1), 5 (2007)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-3-642-15375-4_17","volume-title":"CONCUR 2010 - Concurrency Theory","author":"S. Capecchi","year":"2010","unstructured":"Capecchi, S., Castellani, I., Dezani-Ciancaglini, M., Rezk, T.: Session Types for Access and Information Flow Control. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol.\u00a06269, pp. 237\u2013252. Springer, Heidelberg (2010)"},{"key":"4_CR11","unstructured":"Capecchi, S., Giachino, E., Yoshida, N.: Global escape in multiparty session. In: FSTTCS 2010 (2010) (to appear), http:\/\/www.di.unito.it\/~capecchi\/mpe.pdf"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-71316-6_2","volume-title":"Programming Languages and Systems","author":"M. Carbone","year":"2007","unstructured":"Carbone, M., Honda, K., Yoshida, N.: Structured Communication-Centred Programming for Web Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 2\u201317. Springer, Heidelberg (2007)"},{"key":"4_CR13","unstructured":"W3C Web Services Choreography Description Language, http:\/\/www.w3.org\/2002\/ws\/chor\/"},{"key":"4_CR14","volume-title":"Proc. IEEE OCEANS 2009","author":"A. Chave","year":"2009","unstructured":"Chave, A., Arrott, M., Farcas, C., Farcas, E., Krueger, I., Meisinger, M., Orcutt, J., Vernon, F., Peach, C., Schofield, O., Kleinert, J.: Cyberinfrastructure for the US Ocean Observatories Initiative. In: Proc. IEEE OCEANS 2009. IEEE, Los Alamitos (2009)"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Damas, L., Milner, R.: Principal type-schemes for functional programs. In: POPL, pp. 207\u2013212 (1982)","DOI":"10.1145\/582153.582176"},{"key":"4_CR16","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) Full version, Prototype at, http:\/\/www.doc.ic.ac.uk\/~pmalo\/multianalysis"},{"key":"4_CR17","volume-title":"POPL 2011","author":"P.-M. Deni\u00e9lou","year":"2011","unstructured":"Deni\u00e9lou, P.-M., Yoshida, N.: Dynamic multirole session types. In: POPL 2011. ACM, New York (2011) (to appear), http:\/\/www.doc.ic.ac.uk\/~malo\/dynamic"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Desai, N., Chopra, A.K., Arrott, M., Specht, B., Singh, M.P.: Engineering foreign exchange processes via commitment protocols. In: IEEE SCC, pp. 514\u2013521 (2007)","DOI":"10.1109\/SCC.2007.58"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/11785477_20","volume-title":"ECOOP 2006 \u2013 Object-Oriented Programming","author":"M. Dezani-Ciancaglini","year":"2006","unstructured":"Dezani-Ciancaglini, M., Mostrous, D., Yoshida, N., Gairing, M.: Session Types for Object-Oriented Languages. In: Hu, Q. (ed.) ECOOP 2006. LNCS, vol.\u00a04067, pp. 328\u2013352. Springer, Heidelberg (2006)"},{"key":"4_CR20","volume-title":"Model Driven Architecture: Applying MDA to Enterprise Computing","author":"D.S. Frankel","year":"2003","unstructured":"Frankel, D.S.: Model Driven Architecture: Applying MDA to Enterprise Computing. Wiley, Chichester (January 2003)"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Hoare, T.: An axiomatic basis of computer programming. CACM\u00a012 (1969)","DOI":"10.1145\/363235.363259"},{"key":"4_CR22","volume-title":"Communicating Sequential Processes","author":"T. Hoare","year":"1985","unstructured":"Hoare, T.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)"},{"key":"4_CR23","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 disciplines for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol.\u00a01381, pp. 122\u2013138. Springer, Heidelberg (1998)"},{"key":"4_CR24","first-page":"273","volume-title":"POPL 2008","author":"K. Honda","year":"2008","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty Asynchronous Session Types. In: POPL 2008, pp. 273\u2013284. ACM, New York (2008)"},{"key":"4_CR25","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.\u00a06183, pp. 329\u2013353. Springer, Heidelberg (2010)"},{"key":"4_CR26","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., Macko, M.: Session-Based Distributed Programming in Java. In: Ryan, M. (ed.) ECOOP 2008. LNCS, vol.\u00a05142, pp. 516\u2013541. Springer, Heidelberg (2008)"},{"key":"4_CR27","unstructured":"International Telecommunication Union. Recommendation Z.120: Message sequence chart (1996)"},{"issue":"10","key":"4_CR28","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying \u201cDesign by Contract\u201d. Computer\u00a025(10), 40\u201351 (1992)","journal-title":"Computer"},{"key":"4_CR29","unstructured":"Milner, R.: Theory of type polymorphism in programming languages. In: TCS (1982)"},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes, Parts I and II. Info. & Comp.\u00a0100(1) (1992)","DOI":"10.1016\/0890-5401(92)90009-5"},{"key":"4_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/978-3-642-00590-9_23","volume-title":"Programming Languages and Systems","author":"D. Mostrous","year":"2009","unstructured":"Mostrous, D., Yoshida, N., Honda, K.: Global principal typing in partially commutative asynchronous sessions. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol.\u00a05502, pp. 316\u2013332. Springer, Heidelberg (2009)"},{"key":"4_CR32","unstructured":"Ng, N.: High performance parallel design based on session programming. Masters thesis, Department of Computing, Imperial College London (2010), http:\/\/www.doc.ic.ac.uk\/~cn06\/individual-project\/"},{"key":"4_CR33","unstructured":"Nielsen, L., Yoshida, N., Honda, K.: Multiparty symmetric sumtypes. Technical Report\u00a08, Department of Computing, Imperial College London (2009), To appear in Express\u201910. Apims Project at, http:\/\/www.thelas.dk\/index.php\/apims"},{"key":"4_CR34","unstructured":"OMG. Unified Modelling Language, Version 2.0 (2004)"},{"key":"4_CR35","unstructured":"Ocean Observatories Initiative (OOI), http:\/\/www.oceanleadership.org\/programs-andartnerships\/ocean-observing\/ooi\/"},{"key":"4_CR36","unstructured":"pi4soa homepage, http:\/\/pi4soa.sourceforge.net\/"},{"key":"4_CR37","unstructured":"Scribble development tool site, http:\/\/www.jboss.org\/scribble"},{"key":"4_CR38","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":"4_CR39","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)"},{"key":"4_CR40","unstructured":"Trivedi, A.: Hotplug in a multikernel operating system. Master\u2019s thesis, ETH Zurich (2009)"},{"key":"4_CR41","unstructured":"UNIFI. International Organization for Standardization ISO 20022 UNIversal Financial Industry message scheme (2002), http:\/\/www.iso20022.org"},{"key":"4_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/11423348_10","volume-title":"Communicating Sequential Processes. The First 25 Years","author":"P. Welch","year":"2005","unstructured":"Welch, P., Barnes, F.: Communicating Mobile Processes: introducing occam-pi. In: Abdallah, A.E., Jones, C.B., Sanders, J.W. (eds.) CSP 2004. LNCS, vol.\u00a03525, pp. 175\u2013210. Springer, Heidelberg (2005)"},{"key":"4_CR43","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)"},{"key":"4_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-642-04167-9_12","volume-title":"Formal Methods for Components and Objects","author":"N. Yoshida","year":"2009","unstructured":"Yoshida, N., Vasconcelos, V.T., Paulino, H., Honda, K.: Session-based compilation framework for multicore programming. In: de Boer, F.S., Bonsangue, M.M., Madelaine, E. (eds.) FMCO 2008. LNCS, vol.\u00a05751, pp. 226\u2013246. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing and Internet Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19056-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,16]],"date-time":"2020-06-16T01:44:11Z","timestamp":1592271851000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19056-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642190551","9783642190568"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19056-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}