{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T22:56:47Z","timestamp":1743029807977,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642204005"},{"type":"electronic","value":"9783642204012"}],"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-20401-2_10","type":"book-chapter","created":{"date-parts":[[2011,9,7]],"date-time":"2011-09-07T10:53:38Z","timestamp":1315392818000},"page":"214-231","source":"Crossref","is-referenced-by-count":2,"title":["Static Analysis Techniques for Session-Oriented Calculi"],"prefix":"10.1007","author":[{"given":"Lucia","family":"Acciai","sequence":"first","affiliation":[]},{"given":"Chiara","family":"Bodei","sequence":"additional","affiliation":[]},{"given":"Michele","family":"Boreale","sequence":"additional","affiliation":[]},{"given":"Roberto","family":"Bruni","sequence":"additional","affiliation":[]},{"given":"Hugo T.","family":"Vieira","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"642","DOI":"10.1007\/978-3-540-68679-8_40","volume-title":"CGM 2008","author":"L. Acciai","year":"2008","unstructured":"Acciai, L., Boreale, M.: A type system for client progress in a service-oriented calculus. In: Degano, P., De Nicola, R., Bevilacqua, V. (eds.) CGM 2008. LNCS, vol.\u00a05065, pp. 642\u2013658. Springer, Heidelberg (2008)"},{"key":"10_CR2","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_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/978-3-642-03459-6_5","volume-title":"Foundations and Applications of Security Analysis","author":"C. Bodei","year":"2009","unstructured":"Bodei, C., Brodo, L., Bruni, R.: Static detection of logic flaws in service-oriented applications. In: Degano, P., Vigan\u00f2, L. (eds.) ARSPA-WITS 2009. LNCS, vol.\u00a05511, pp. 70\u201387. Springer, Heidelberg (2009)"},{"issue":"2","key":"10_CR4","doi-asserted-by":"publisher","first-page":"229","DOI":"10.3233\/JCS-2010-0361","volume":"18","author":"C. Bodei","year":"2010","unstructured":"Bodei, C., Brodo, L., Degano, P., Gao, H.: Detecting and preventing type flaws at static time. Journal of Computer Security\u00a018(2), 229\u2013264 (2010)","journal-title":"Journal of Computer Security"},{"issue":"3","key":"10_CR5","doi-asserted-by":"publisher","first-page":"347","DOI":"10.3233\/JCS-2005-13302","volume":"13","author":"C. Bodei","year":"2005","unstructured":"Bodei, C., Buchholtz, M., Degano, P., Nielson, F., Nielson, H.R.: Static validation of security protocols. Journal of Computer Security\u00a013(3), 347\u2013390 (2005)","journal-title":"Journal of Computer Security"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-540-68863-1_3","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"M. Boreale","year":"2008","unstructured":"Boreale, M., Bruni, R., De Nicola, R., Loreti, M.: Sessions and pipelines for structured service programming. In: Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. LNCS, vol.\u00a05051, pp. 19\u201338. Springer, Heidelberg (2008)"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-540-79980-1_8","volume-title":"Algebraic Methodology and Software Technology","author":"R. Bruni","year":"2008","unstructured":"Bruni, R., Mezzina, L.G.: Types and deadlock freedom in a calculus of services, sessions and pipelines. In: Meseguer, J., Rosu, G. (eds.) AMAST 2008. LNCS, vol.\u00a05140, pp. 100\u2013115. Springer, Heidelberg (2008)"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-642-00590-9_21","volume-title":"Programming Languages and Systems","author":"L. Caires","year":"2009","unstructured":"Caires, L., Vieira, H.: Conversation Types. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol.\u00a05502, pp. 285\u2013300. Springer, Heidelberg (2009)"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/3-540-57208-2_11","volume-title":"CONCUR 1993","author":"S. Christensen","year":"1993","unstructured":"Christensen, S., Hirshfeld, Y., Moller, F.: Bisimulation equivalence is decidable for basic parallel processes. In: Best, E. (ed.) CONCUR 1993. LNCS, vol.\u00a0715, pp. 143\u2013157. Springer, Heidelberg (1993)"},{"key":"10_CR10","first-page":"273","volume-title":"POPL 2008","author":"K. Honda","year":"2008","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty Asynchronous Session Types. In: Necula, G.C., Wadler, P. (eds.) POPL 2008, pp. 273\u2013284. ACM Press, New York (2008)"},{"issue":"1-3","key":"10_CR11","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0304-3975(03)00325-6","volume":"311","author":"A. Igarashi","year":"2004","unstructured":"Igarashi, A., Kobayashi, N.: A Generic Type System for the \u03c0-Calculus. Theoretical Computer Science\u00a0311(1-3), 121\u2013163 (2004)","journal-title":"Theoretical Computer Science"},{"key":"10_CR12","first-page":"305","volume-title":"SEFM","author":"I. Lanese","year":"2007","unstructured":"Lanese, I., Martins, F., Vasconcelos, V.T., Ravara, A.: Disciplining orchestration and conversation in service-oriented computing. In: SEFM, pp. 305\u2013314. IEEE Computer Society, Los Alamitos (2007)"},{"key":"10_CR13","unstructured":"Mezzina, L.: Typing Services. Phd thesis in computer science, IMT Institute for Advanced Studies, Lucca (2009)"},{"key":"10_CR14","unstructured":"Neohapsis Archives. Price modification possible in CyberOffice Shopping Cart, \n                    \n                      http:\/\/archives.neohapsis.com\/archives\/bugtraq\/2000-10\/0011.html"},{"issue":"2","key":"10_CR15","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1006\/inco.1994.1046","volume":"111","author":"J.-P. Talpin","year":"1994","unstructured":"Talpin, J.-P., Jouvelot, P.: The type and effect discipline. Inf. Comput.\u00a0111(2), 245\u2013296 (1994)","journal-title":"Inf. Comput."}],"container-title":["Lecture Notes in Computer Science","Rigorous Software Engineering for Service-Oriented Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20401-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,6]],"date-time":"2018-10-06T09:23:42Z","timestamp":1538817822000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20401-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642204005","9783642204012"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20401-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}