{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T14:04:43Z","timestamp":1749737083368,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031692307"},{"type":"electronic","value":"9783031692314"}],"license":[{"start":{"date-parts":[[2024,11,30]],"date-time":"2024-11-30T00:00:00Z","timestamp":1732924800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,11,30]],"date-time":"2024-11-30T00:00:00Z","timestamp":1732924800000},"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-69231-4_11","type":"book-chapter","created":{"date-parts":[[2024,11,29]],"date-time":"2024-11-29T08:24:27Z","timestamp":1732868667000},"page":"150-169","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Message-Passing in\u00a0the\u00a0Extended UTxO Ledger"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3271-3841","authenticated-orcid":false,"given":"Polina","family":"Vinogradova","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2182-2698","authenticated-orcid":false,"given":"Orestis","family":"Melkonian","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,11,30]]},"reference":[{"key":"11_CR1","volume-title":"Foundations of Multithreaded, Parallel, and Distributed Programming","author":"G Andrews","year":"1999","unstructured":"Andrews, G.: Foundations of Multithreaded, Parallel, and Distributed Programming. Addison-Wesley, Boston (1999)"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Bartoletti, M., Bracciali, A., Lepore, C., Scalas, A., Zunino, R.: A formal model of Algorand smart contracts (2021)","DOI":"10.1007\/978-3-662-64322-8_5"},{"key":"11_CR3","unstructured":"Buterin, V.: Ethereum: a next-generation smart contract and decentralized application platform (2014). https:\/\/ethereum.org\/en\/whitepaper\/"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-030-61467-6_7","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Applications","author":"MMT Chakravarty","year":"2020","unstructured":"Chakravarty, M.M.T., et al.: Native custom tokens in the extended UTXO model. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12478, pp. 89\u2013111. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-61467-6_7"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/978-3-030-61467-6_8","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Applications","author":"MMT Chakravarty","year":"2020","unstructured":"Chakravarty, M.M.T., et al.: UTXO$$_{{\\sf ma}}$$: UTXO with multi-asset support. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12478, pp. 112\u2013130. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-61467-6_8"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1007\/978-3-030-54455-3_37","volume-title":"Financial Cryptography and Data Security","author":"MMT Chakravarty","year":"2020","unstructured":"Chakravarty, M.M.T., Chapman, J., MacKenzie, K., Melkonian, O., Peyton Jones, M., Wadler, P.: The extended UTXO model. In: Bernhard, M., et al. (eds.) FC 2020. LNCS, vol. 12063, pp. 525\u2013539. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-54455-3_37"},{"key":"11_CR7","unstructured":"Corduan, J., G\u00fcdemann, M., Vinogradova, P.: A formal specification of the Cardano ledger (2019). https:\/\/github.com\/input-output-hk\/cardano-ledger\/releases\/latest\/download\/shelley-ledger.pdf"},{"key":"11_CR8","volume-title":"Distributed Systems: Concepts and Design (International Computer Science)","author":"G Coulouris","year":"2005","unstructured":"Coulouris, G., Dollimore, J., Kindberg, T.: Distributed Systems: Concepts and Design (International Computer Science). Addison-Wesley Longman, Amsterdam (2005)"},{"key":"11_CR9","unstructured":"Coward, K., Toliver, D.R.: Simple rigs hold fast (2022)"},{"key":"11_CR10","unstructured":"Ergo Team: Ergo: A Resilient Platform For ContractualMoney (2019). https:\/\/whitepaper.io\/document\/753\/ergo-1-whitepaper"},{"key":"11_CR11","unstructured":"Ethereum Team: ERC-20 TOKEN STANDARD (2023). https:\/\/ethereum.org\/en\/developers\/docs\/standards\/tokens\/erc-20"},{"key":"11_CR12","unstructured":"Field, A., Harrison, P.: Functional Programming. International computer science series, Addison-Wesley (1988). https:\/\/books.google.ca\/books?id=nYtQAAAAMAAJ"},{"issue":"9","key":"11_CR13","doi-asserted-by":"publisher","first-page":"1034","DOI":"10.1017\/S0960129521000438","volume":"31","author":"MJ Gabbay","year":"2021","unstructured":"Gabbay, M.J.: Algebras of UTxO blockchains. Math. Struct. Comput. Sci. 31(9), 1034\u20131089 (2021). https:\/\/doi.org\/10.1017\/S0960129521000438","journal-title":"Math. Struct. Comput. Sci."},{"key":"11_CR14","unstructured":"Goodman, L.: Tezos-a self-amending crypto-ledger (white paper) (2014). https:\/\/tezos.com\/whitepaper.pdf"},{"key":"11_CR15","unstructured":"Knispel, A., et al.: Formal specification of the Cardano blockchain ledger, mechanized in Agda (2024). https:\/\/omelkonian.github.io\/data\/publications\/cardano-ledger.pdf"},{"key":"11_CR16","unstructured":"Knispel, A., Vinogradova, P.: A Formal Specification of the Cardano Ledger integrating Plutus Core (2021). https:\/\/github.com\/input-output-hk\/cardano-ledger\/releases\/latest\/download\/alonzo-ledger.pdf"},{"key":"11_CR17","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)"},{"key":"11_CR18","unstructured":"Nakamoto, S.: Bitcoin: A Peer-to-Peer Electronic Cash System (2008). https:\/\/bitcoin.org\/en\/bitcoin-paper"},{"key":"11_CR19","doi-asserted-by":"publisher","unstructured":"Nester, C.: A foundation for ledger structures. In: Anceaume, E., Bisi\u00e8re, C., Bouvard, M., Bramas, Q., Casamatta, C. (eds.) 2nd International Conference on Blockchain Economics, Security and Protocols, Tokenomics 2020, Toulouse, France, 26\u201327 October 2020. OASIcs, vol.\u00a082, pp. 7:1\u20137:13. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2020). https:\/\/doi.org\/10.4230\/OASICS.TOKENOMICS.2020.7","DOI":"10.4230\/OASICS.TOKENOMICS.2020.7"},{"key":"11_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/978-3-642-04652-0_5","volume-title":"Advanced Functional Programming","author":"U Norell","year":"2009","unstructured":"Norell, U.: Dependently typed programming in agda. In: Koopman, P., Plasmeijer, R., Swierstra, D. (eds.) AFP 2008. LNCS, vol. 5832, pp. 230\u2013266. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04652-0_5"},{"key":"11_CR21","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.jlap.2004.05.001","volume":"60\u201361","author":"G Plotkin","year":"2004","unstructured":"Plotkin, G.: A structural approach to operational semantics. J. Log. Algebr. Program. 60\u201361, 17\u2013139 (2004). https:\/\/doi.org\/10.1016\/j.jlap.2004.05.001","journal-title":"J. Log. Algebr. Program."},{"key":"11_CR22","unstructured":"Vinogradova, P., et al.: Structured contracts in the EUTxO ledger model (2024). https:\/\/fmbc.gitlab.io\/2024\/files\/FMBC2024.pdf"},{"key":"11_CR23","doi-asserted-by":"publisher","unstructured":"Rupi\u0107, K., Ro\u017ei\u0107, L., Derek, A.: Mechanized formal model of bitcoin\u2019s blockchain validation procedures. In: Bernardo, B., Marmsoler, D. (eds.) 2nd Workshop on Formal Methods for Blockchains (FMBC 2020). Open Access Series in Informatics (OASIcs), vol.\u00a084, pp. 7:1\u20137:14. Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik, Dagstuhl, Germany (2020). https:\/\/doi.org\/10.4230\/OASIcs.FMBC.2020.7. https:\/\/drops.dagstuhl.de\/entities\/document\/10.4230\/OASIcs.FMBC.2020.7","DOI":"10.4230\/OASIcs.FMBC.2020.7"},{"key":"11_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-030-03427-6_21","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice","author":"C S\u00e1nchez","year":"2018","unstructured":"S\u00e1nchez, C., Schneider, G., Leucker, M.: Reliable smart contracts: state-of-the-art, applications, challenges and future directions. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11247, pp. 275\u2013279. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03427-6_21"},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"Sergey, I., Nagaraj, V., Johannsen, J., Kumar, A., Trunov, A., Hao, K.C.G.: Safer smart contract programming with Scilla. Proc. ACM Program. Lang. 3(OOPSLA), 185 (2019)","DOI":"10.1145\/3360611"},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"Team, T.Z.: The ZILLIQA Technical Whitepaper (2017). https:\/\/docs.zilliqa.com\/whitepaper.pdf","DOI":"10.2139\/ssrn.3442330"}],"container-title":["Lecture Notes in Computer Science","Financial Cryptography and Data Security. FC 2024 International Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-69231-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,29]],"date-time":"2024-11-29T09:04:16Z","timestamp":1732871056000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-69231-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,30]]},"ISBN":["9783031692307","9783031692314"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-69231-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,11,30]]},"assertion":[{"value":"30 November 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Financial Cryptography and Data Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Willemstad","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cura\u00e7ao","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 March 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 March 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fc2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/fc24.ifca.ai\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}