{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T21:30:53Z","timestamp":1757626253956,"version":"3.44.0"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031954962"},{"type":"electronic","value":"9783031954979"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-95497-9_1","type":"book-chapter","created":{"date-parts":[[2025,6,14]],"date-time":"2025-06-14T13:15:40Z","timestamp":1749906940000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Choreographic View of\u00a0Smart Contracts"],"prefix":"10.1007","author":[{"given":"Emilio","family":"Tuosto","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,6,11]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Afonso, J., Selabi, E.K., Murgia, M., Ravara, A., Tuosto, E.: TRAC: a tool for data-aware coordination - (with an application to smart contracts). In: Castellani, I., Tiezzi, F. (eds.) Coordination Models and Languages - 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, 17\u201321 June 2024, Proceedings, vol. 14676. LNCS, pp. 239\u2013257. Springer, Heidelberg (2024)","DOI":"10.1007\/978-3-031-62697-5_13"},{"key":"1_CR2","unstructured":"Afonso, J., Selabi, E.K., Murgia, M., Tuosto, E., Ravara, A.: Artefact submission for paper #8 of COORDINATION 2024 (2024)"},{"issue":"1","key":"1_CR3","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/MS.2014.131","volume":"32","author":"M Autili","year":"2015","unstructured":"Autili, M., Inverardi, P., Tivoli, M.: Automated synthesis of service choreographies. IEEE Softw. 32(1), 50\u201357 (2015)","journal-title":"IEEE Softw."},{"key":"1_CR4","unstructured":"Bon\u00e9r, J.: Reactive Microsystems - The Evolution Of Microservices At Scale. O\u2019Reilly (2018)"},{"key":"1_CR5","unstructured":"Buterin, V.: Ethereum: a next generation smart contract and decentralized application platform (2014). https:\/\/ethereum.org\/whitepaper"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-030-50029-0_7","volume-title":"Coordination Models and Languages","author":"L Frittelli","year":"2020","unstructured":"Frittelli, L., Maldonado, F., Melgratti, H., Tuosto, E.: A choreography-driven approach to\u00a0APIs: the OpenDXL case study. In: Bliudze, S., Bocchi, L. (eds.) COORDINATION 2020. LNCS, vol. 12134, pp. 107\u2013124. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-50029-0_7"},{"key":"1_CR7","volume-title":"Operating System Principles","author":"PB Hansen","year":"1973","unstructured":"Hansen, P.B.: Operating System Principles. Prentice-Hall, Upper Saddle river (1973)"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Hansen, P.B.: Monitors and concurrent pascal: a personal history. In: The Second ACM SIGPLAN Conference on History of Programming Languages, HOPL-II, pp. 1\u201335. Association for Computing Machinery, New York (1993)","DOI":"10.1145\/154766.155361"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. JACM 63(1), 9:1\u20139:67 (2016)","DOI":"10.1145\/2827695"},{"key":"1_CR10","unstructured":"Kavantzas, N., Burdett, D., Ritzinger, G., Fletcher, T., Lafon, Y.: Web services choreography description language version 1.0. http:\/\/www.w3.org\/TR\/2004\/WD-ws-cdl-10-20041217. Working Draft 17 December 2004"},{"key":"1_CR11","unstructured":"Selabi, E.G.K.: TRAC: a tool for data-aware coordination (2024). https:\/\/github.com\/loctet\/TRAC"},{"key":"1_CR12","volume-title":"Introduction to the Theory of Programming Languages","author":"B Meyer","year":"1990","unstructured":"Meyer, B.: Introduction to the Theory of Programming Languages. Prentice-Hall, Upper Saddle River (1990)"},{"key":"1_CR13","volume-title":"Eiffel: The Language","author":"B Meyer","year":"1991","unstructured":"Meyer, B.: Eiffel: The Language. Prentice-Hall, Upper Saddle River (1991)"},{"key":"1_CR14","unstructured":"Microsoft. The blockchain workbench (2019). https:\/\/github.com\/Azure-Samples\/blockchain\/tree\/master\/blockchain-workbench"},{"key":"1_CR15","unstructured":"Microsoft. Simple marketplace sample application for azure blockchain workbench (2019). https:\/\/github.com\/Azure-Samples\/blockchain\/tree\/master\/blockchain-workbench\/application-and-smart-contract-samples\/simple-marketplace"},{"key":"1_CR16","unstructured":"Object\u00a0Management Group. Business Process Model and Notation. http:\/\/www.bpmn.org"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Tolmach, P., Li, Y., Lin, S.W., Liu, Y., Li, Z.: A survey of smart contract formal specification and verification. ACM Comput. Surv. 54(7) (2021)","DOI":"10.1145\/3464421"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Objects, Components, and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-95497-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T21:43:54Z","timestamp":1757454234000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-95497-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031954962","9783031954979"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-95497-9_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"11 June 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FORTE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Techniques for Distributed Objects, Components, and Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lille","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 June 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 June 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"45","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"forte2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.discotec.org\/2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}