{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:13:45Z","timestamp":1775873625486,"version":"3.50.1"},"publisher-location":"Cham","reference-count":43,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319051185","type":"print"},{"value":"9783319051192","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-05119-2_3","type":"book-chapter","created":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T09:36:28Z","timestamp":1394184988000},"page":"22-41","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":56,"title":["The Scribble Protocol Language"],"prefix":"10.1007","author":[{"given":"Nobuko","family":"Yoshida","sequence":"first","affiliation":[]},{"given":"Raymond","family":"Hu","sequence":"additional","affiliation":[]},{"given":"Rumyana","family":"Neykova","sequence":"additional","affiliation":[]},{"given":"Nicholas","family":"Ng","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,3,8]]},"reference":[{"key":"3_CR1","unstructured":"Web Services Choreography Description Language: Primer 1.0. http:\/\/www.w3.org\/TR\/ws-cdl-10-primer\/"},{"key":"3_CR2","unstructured":"Advanced Message Queueing Protocols. www.amqp.org\/confluence\/display\/AMQP\/Advanced+Message+Queuing+Protocol"},{"key":"3_CR3","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/978-3-540-85361-9_33","volume-title":"CONCUR 2008","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. 5201, pp. 418\u2013433. Springer, Heidelberg (2008)"},{"key":"3_CR4","series-title":"LNCS","first-page":"50","volume-title":"FMOODS\/FORTE 2013","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.) FMOODS\/FORTE 2013. LNCS, vol. 7892, pp. 50\u201365. Springer, Heidelberg (2013)"},{"key":"3_CR5","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-642-15375-4_12","volume-title":"CONCUR 2010","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. 6269, pp. 162\u2013176. Springer, Heidelberg (2010)"},{"key":"3_CR6","unstructured":"Capecchi, S., Giachino, E., Yoshida, N.: Global escape in multiparty sessions. In: FSTTCS 2010. LIPIcs, vol. 8, pp. 338\u2013351. Schloss Dagstuhl (2010)"},{"key":"3_CR7","series-title":"LNCS","first-page":"2","volume-title":"ESOP 2007","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. 4421, pp. 2\u201317. Springer, Heidelberg (2007)"},{"key":"3_CR8","unstructured":"W3C Web Services Choreography Description Language. http:\/\/www.w3.org\/2002\/ws\/chor\/"},{"key":"3_CR9","series-title":"LNCS","first-page":"25","volume-title":"TGC 2011","author":"T-C Chen","year":"2012","unstructured":"Chen, T.-C., Bocchi, L., Deni\u00e9lou, P.-M., Honda, K., Yoshida, N.: Asynchronous distributed monitoring for multiparty session enforcement. In: Bruni, R., Sassone, V. (eds.) TGC 2011. LNCS, vol. 7173, pp. 25\u201345. Springer, Heidelberg (2012)"},{"key":"3_CR10","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/978-3-642-32940-1_20","volume-title":"CONCUR 2012","author":"R Demangeon","year":"2012","unstructured":"Demangeon, R., Honda, K.: Nested protocols in session types. In: Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. LNCS, vol. 7454, pp. 272\u2013286. Springer, Heidelberg (2012)"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Deni\u00e9lou, P.-M., Yoshida, N.: Dynamic multirole session types. In: POPL, pp. 435\u2013446. ACM (2011)","DOI":"10.1145\/1925844.1926435"},{"key":"3_CR12","series-title":"LNCS","first-page":"194","volume-title":"ESOP 2012","author":"P-M Deni\u00e9lou","year":"2012","unstructured":"Deni\u00e9lou, P.-M., Yoshida, N.: Multiparty session types meet communicating automata. In: Seidl, H. (ed.) ESOP 2012. LNCS, vol. 7211, pp. 194\u2013213. Springer, Heidelberg (2012)"},{"key":"3_CR13","series-title":"LNCS","first-page":"174","volume-title":"ICALP 2013, Part II","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)"},{"key":"3_CR14","series-title":"LNCS","first-page":"328","volume-title":"ECOOP 2006","author":"M Dezani-Ciancaglini","year":"2006","unstructured":"Dezani-Ciancaglini, M., Mostrous, D., Yoshida, N., Drossopoulou, S.: Session types for object-oriented languages. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol. 4067, pp. 328\u2013352. Springer, Heidelberg (2006)"},{"key":"3_CR15","unstructured":"Qualit e Cognizant business unit. Zero Deviation Life Cycle. http:\/\/0deviation.com\/"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"F\u00e4hndrich, M., Aiken, M., Hawblitzel, C., Hodson, O., Hunt, G., Larus, J.R., Levi, S.: Language support for fast and reliable message-based communication in singularity OS. In : Proceedings of EuroSys\u201906, pp. 177\u2013190. ACM (2006)","DOI":"10.1145\/1218063.1217953"},{"key":"3_CR17","unstructured":"Honda, K.: Scribble Examples: (1) Protocols (2007)"},{"key":"3_CR18","unstructured":"Honda, K., Hu, R., Neykova, R., Chen, T.-C., Demangeon, R., Deni\u00e9lou, P.-M., Yoshida, N.: Structuring communication with session types. In: COB\u201912. LNCS, Springer (to appear)"},{"key":"3_CR19","series-title":"LNCS","first-page":"55","volume-title":"ICDCIT 2011","author":"K Honda","year":"2011","unstructured":"Honda, K., Mukhamedov, A., Brown, G., Chen, T.-C., Yoshida, N.: Scribbling interactions with a formal foundation. In: Natarajan, R., Ojo, A. (eds.) ICDCIT 2011. LNCS, vol. 6536, pp. 55\u201375. Springer, Heidelberg (2011)"},{"key":"3_CR20","series-title":"LNCS","first-page":"22","volume-title":"ESOP 1998","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. 1381, pp. 22\u2013138. Springer, Heidelberg (1998)"},{"key":"3_CR21","first-page":"160","volume":"91","author":"Kohei Honda","year":"2007","unstructured":"Honda, Kohei, Yoshida, Nobuko, Carbone, Marco: Web services, mobile processes and types. EATCS Bull. 91, 160\u2013188 (2007)","journal-title":"EATCS Bull."},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: POPL \u201908, pp. 273\u2013284. ACM (2008)","DOI":"10.1145\/1328897.1328472"},{"key":"3_CR23","series-title":"LNCS","first-page":"329","volume-title":"ECOOP 2010","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":"3_CR24","series-title":"LNCS","first-page":"130","volume-title":"RV 2013","author":"R Hu","year":"2013","unstructured":"Hu, R., Neykova, R., Yoshida, N., Demangeon, R., Honda, K.: Practical interruptible conversations: distributed dynamic verification with session types and Python. In: Legay, A., Bensalem, S. (eds.) RV 2013. LNCS, vol. 8174, pp. 130\u2013148. Springer, Heidelberg (2013)"},{"key":"3_CR25","series-title":"LNCS","first-page":"516","volume-title":"ECOOP 2008","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":"3_CR26","unstructured":"Ocean Observatories Initiative. Scribble OOI derivalables. https:\/\/confluence.oceanobservatories.org\/display\/CIDev\/Identify+required+Scribble+extensions+for+advanced+scenarios+of+R3+COI"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Milner, R.: The polyadic $$\\pi $$-calculus: a tutorial. In: Proceedings of the International Summer School on Logic Algebra of Specification, Marktoberdorf (1992)","DOI":"10.1007\/978-3-642-58041-3_6"},{"key":"3_CR28","volume-title":"Communicating and Mobile Systems: The $$\\pi $$-Calculus","author":"R Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: The $$\\pi $$-Calculus. Cambridge University Press, Cambridge (1999)"},{"issue":"1","key":"3_CR29","doi-asserted-by":"publisher","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, Parts I and II. Inf. Comp. 100(1), 1\u201340 (1992)","journal-title":"Inf. Comp."},{"key":"3_CR30","series-title":"LNCS","first-page":"316","volume-title":"ESOP 2009","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. 5502, pp. 316\u2013332. Springer, Heidelberg (2009)"},{"key":"3_CR31","series-title":"LNCS","first-page":"358","volume-title":"RV 2013","author":"R Neykova","year":"2013","unstructured":"Neykova, R., Yoshida, N., Hu, R.: SPY: local verification of global protocols. In: Legay, A., Bensalem, S. (eds.) RV 2013. LNCS, vol. 8174, pp. 358\u2013363. Springer, Heidelberg (2013)"},{"key":"3_CR32","doi-asserted-by":"crossref","unstructured":"Ng, N., Yoshida, N.: Pabble: parameterised scribble for parallel programming. In: PDP, IEEE (2014, to appear)","DOI":"10.1109\/PDP.2014.20"},{"key":"3_CR33","series-title":"LNCS","first-page":"202","volume-title":"TOOLS 2012","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":"3_CR34","unstructured":"OOI. The Ocean Observatories Initiative. http:\/\/oceanobservatories.org\/"},{"key":"3_CR35","unstructured":"Pi4tech home page. http:\/\/www.pi4tech.com"},{"key":"3_CR36","volume-title":"Types and Programming Languages","author":"BC Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and Programming Languages. MIT Press, Cambridge (2002)"},{"key":"3_CR37","unstructured":"Red Hat JBoss. JBoss Community Scribble homepage. http:\/\/www.jboss.org\/scribble"},{"key":"3_CR38","unstructured":"JBoss Savara. JBoss Savara Project homepage. http:\/\/www.jboss.org\/savara"},{"key":"3_CR39","series-title":"LNCS","first-page":"398","volume-title":"PARLE 1994","author":"K Takeuchi","year":"1994","unstructured":"Takeuchi, K., Honda, K., Kubo, M.: An interaction-based language and its typing system. PARLE 1994. LNCS, vol. 817, pp. 398\u2013413. Springer, Heidelberg (1994)"},{"key":"3_CR40","unstructured":"Scribble Team. Scribble Language Reference. https:\/\/github.com\/scribble\/scribble-spec"},{"key":"3_CR41","unstructured":"Scribble Team. Scribble Project github homepage. http:\/\/www.scribble.org"},{"key":"3_CR42","unstructured":"UNIFI. International Organization for Standardization 20022 UNIversal Financial Industry message scheme. http:\/\/www.iso20022.org (2002)"},{"issue":"4","key":"3_CR43","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/j.entcs.2007.02.056","volume":"171","author":"N Yoshida","year":"2007","unstructured":"Yoshida, N., Vasconcelos, V.T.: Language primitives and type discipline for structured communication-based programming revisited: two systems for higher-order session communication. Electr. Notes Theor. Comput. Sci. 171(4), 73\u201393 (2007)","journal-title":"Electr. Notes Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Trustworthy Global Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05119-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,22]],"date-time":"2023-12-22T05:10:01Z","timestamp":1703221801000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-05119-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319051185","9783319051192"],"references-count":43,"aliases":["10.1007\/978-3-319-14128-2_3"],"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05119-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"8 March 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}