{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T17:41:24Z","timestamp":1749318084903},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642407864"},{"type":"electronic","value":"9783642407871"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40787-1_25","type":"book-chapter","created":{"date-parts":[[2013,9,18]],"date-time":"2013-09-18T19:18:35Z","timestamp":1379531915000},"page":"358-363","source":"Crossref","is-referenced-by-count":21,"title":["SPY: Local Verification of Global Protocols"],"prefix":"10.1007","author":[{"given":"Rumyana","family":"Neykova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nobuko","family":"Yoshida","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raymond","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"Advanced Message Queuing Protocol homepage, \n                    \n                      http:\/\/www.amqp.org\/"},{"key":"25_CR2","doi-asserted-by":"crossref","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.\u00a07892, pp. 50\u201365. Springer, Heidelberg (2013)","DOI":"10.1007\/978-3-642-38592-6_5"},{"key":"25_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-642-30065-3_2","volume-title":"Trustworthy Global Computing","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.\u00a07173, pp. 25\u201345. Springer, Heidelberg (2012)"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Deni\u00e9lou, P.-M., Yoshida, N.: Multiparty session types meet communicating automata. In: Seidl, H. (ed.) ESOP 2012. LNCS, vol.\u00a07211, pp. 194\u2013213. Springer, Heidelberg (2012)","DOI":"10.1007\/978-3-642-28869-2_10"},{"key":"25_CR5","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 2012. LNCS (2012) (to appear)"},{"key":"25_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-642-19056-8_4","volume-title":"Distributed Computing and Internet Technology","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.\u00a06536, pp. 55\u201375. Springer, Heidelberg (2011)"},{"key":"25_CR7","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":"25_CR8","unstructured":"Hu, R., Neykova, R., Yoshida, N., Demangeon, R.: Towards practical interruptible conversations. This volume"},{"key":"25_CR9","unstructured":"Session Python (SPY) resource page, \n                    \n                      http:\/\/www.doc.ic.ac.uk\/~rn710\/spy\/"},{"key":"25_CR10","unstructured":"Ocean Observatories Initiative, \n                    \n                      http:\/\/www.oceanobservatories.org\/"},{"key":"25_CR11","unstructured":"Scribble-OOI collaboration, \n                    \n                      https:\/\/confluence.oceanobservatories.org\/display\/CIDev\/OOI+Use+Cases+in+Scribble"},{"key":"25_CR12","unstructured":"Scribble project home page, \n                    \n                      http:\/\/www.scribble.org"},{"key":"25_CR13","unstructured":"JBoss Scribble site, \n                    \n                      http:\/\/www.jboss.org\/scribble"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40787-1_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T07:26:00Z","timestamp":1558077960000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40787-1_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642407864","9783642407871"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40787-1_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}