{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:00:47Z","timestamp":1762459247789,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662459164"},{"type":"electronic","value":"9783662459171"}],"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-662-45917-1_3","type":"book-chapter","created":{"date-parts":[[2014,12,22]],"date-time":"2014-12-22T14:34:17Z","timestamp":1419258857000},"page":"34-50","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Automata for Analysing Service Contracts"],"prefix":"10.1007","author":[{"given":"Davide","family":"Basile","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierpaolo","family":"Degano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gian Luigi","family":"Ferrari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,12,23]]},"reference":[{"issue":"2","key":"3_CR1","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1016\/j.scico.2011.10.007","volume":"78","author":"L Acciai","year":"2013","unstructured":"Acciai, L., Boreale, M., Zavattaro, G.: Behavioural contracts with request-response operations. Sci. Comput. Program. 78(2), 248\u2013267 (2013)","journal-title":"Sci. Comput. Program."},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-642-40213-5_5","volume-title":"Fundamentals of Software Engineering","author":"M Bartoletti","year":"2013","unstructured":"Bartoletti, M., Cimoli, T., Pinna, G.M.: Lending Petri nets and contracts. In: Arbab, F., Sirjani, M. (eds.) FSEN 2013. LNCS, vol. 8161, pp. 66\u201382. Springer, Heidelberg (2013)"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/978-3-642-36830-1_10","volume-title":"Principles of Security and Trust","author":"M Bartoletti","year":"2013","unstructured":"Bartoletti, M., Cimoli, T., Zunino, R.: A theory of agreements and protection. In: Basin, D., Mitchell, J.C. (eds.) POST 2013. LNCS, vol. 7796, pp. 186\u2013205. Springer, Heidelberg (2013)"},{"issue":"5","key":"3_CR4","doi-asserted-by":"crossref","first-page":"799","DOI":"10.3233\/JCS-2009-0357","volume":"17","author":"M Bartoletti","year":"2009","unstructured":"Bartoletti, M., Degano, P., Ferrari, G.L.: Planning and verifying service composition. Journal of Computer Security 17(5), 799\u2013837 (2009)","journal-title":"Journal of Computer Security"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/978-3-642-20401-2_11","volume-title":"Rigorous Software Engineering for Service-Oriented Systems","author":"M Bartoletti","year":"2011","unstructured":"Bartoletti, M., Degano, P., Ferrari, G.L., Zunino, R.: Call-by-contract for service discovery, orchestration and recovery. In: Wirsing, M., H\u00f6lzl, M. (eds.) SENSORIA Project. LNCS, vol. 6582, pp. 232\u2013261. Springer, Heidelberg (2011)"},{"issue":"1","key":"3_CR6","first-page":"5","volume":"22","author":"M Bartoletti","year":"2012","unstructured":"Bartoletti, M., Tuosto, E., Zunino, R.: Contract-oriented computing in co2. Sci. Ann. Comp. Sci. 22(1), 5\u201360 (2012)","journal-title":"Sci. Ann. Comp. Sci."},{"key":"3_CR7","unstructured":"Bartoletti, M., Zunino, R.: A logic for contracts. In: Cherubini, A., Coppo, M., Persiano, G. (eds.) ICTCS, pp. 34\u201337 (2009)"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-642-39958-9_15","volume-title":"Parallel Computing Technologies","author":"D Basile","year":"2013","unstructured":"Basile, D., Degano, P., Ferrari, G.-L.: Secure and unfailing services. In: Malyshkin, V. (ed.) PaCT 2013. LNCS, vol. 7979, pp. 167\u2013181. Springer, Heidelberg (2013)"},{"key":"3_CR9","unstructured":"Basile, D., Degano, P., Ferrari, G.L., Tuosto, E.: Automata for analysing service contracts. Extended version: http:\/\/www.di.unipi.it\/~basile\/TGC14.pdf"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Basile, D., Degano, P., Ferrari, G.L., Tuosto, E.: From orchestration to choreography through Contract Automata. In: ICE (to appear, 2014)","DOI":"10.4204\/EPTCS.166.8"},{"issue":"2","key":"3_CR11","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D Brand","year":"1983","unstructured":"Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. ACM 30(2), 323\u2013342 (1983)","journal-title":"J. ACM"},{"key":"3_CR12","volume-title":"Introduction to Discrete Event Systems","author":"CG Cassandras","year":"2006","unstructured":"Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Springer-Verlag New York Inc., Secaucus (2006)"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Castagna, G., Dezani-Ciancaglini, M., Padovani, L.: On global types and multi-party session. Logical Methods in Computer Science 8(1) (2012)","DOI":"10.2168\/LMCS-8(1:24)2012"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Castagna, G., Gesbert, N., Padovani, L.: A theory of contracts for web services. ACM Trans. Program. Lang. Syst. 31(5) (2009)","DOI":"10.1145\/1538917.1538920"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-642-04081-8_15","volume-title":"CONCUR 2009 - Concurrency Theory","author":"G Castagna","year":"2009","unstructured":"Castagna, G., Padovani, L.: Contracts for mobile processes. In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol. 5710, pp. 211\u2013228. Springer, Heidelberg (2009)"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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":"1\/2","key":"3_CR17","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1016\/S0019-9958(67)90369-5","volume":"11","author":"J Gray","year":"1967","unstructured":"Gray, J., Harrison, M.A., Ibarra, O.H.: Two-way pushdown automata. Information and Control 11(1\/2), 30\u201370 (1967)","journal-title":"Information and Control"},{"key":"3_CR18","doi-asserted-by":"crossref","first-page":"561","DOI":"10.1007\/978-3-540-68279-0_15","volume-title":"50 Years of Integer Programming 1958\u20132008","author":"R Hemmecke","year":"2010","unstructured":"Hemmecke, R., Koppe, M., Lee, J., Weismantel, R.: Nonlinear integer programming. In: Junger, M., Liebling, T.M., Naddef, D., Nemhauser, G.L., Pulleyblank, W.R., Reinelt, G., Rinaldi, G., Wolsey, L.A. (eds.) 50 Years of Integer Programming 1958\u20132008, pp. 561\u2013618. Springer, Heidelberg (2010)"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: Necula, G.C., Wadler, P. (eds.) POPL, pp. 273\u2013284. ACM (2008)","DOI":"10.1145\/1328897.1328472"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/978-3-642-32940-1_17","volume-title":"CONCUR 2012 \u2013 Concurrency Theory","author":"J Lange","year":"2012","unstructured":"Lange, J., Tuosto, E.: Synthesising choreographies from local session types. In: Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. LNCS, vol. 7454, pp. 225\u2013239. Springer, Heidelberg (2012)"},{"key":"3_CR21","unstructured":"OASIS-Technical-Committee: OASIS WSBPEL TC, Web services business process execution language version 2.0 (2007), technical Report, OASIS. http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html"}],"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-662-45917-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T13:58:57Z","timestamp":1675259937000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-45917-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662459164","9783662459171"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45917-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"23 December 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}