{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,15]],"date-time":"2026-04-15T04:03:53Z","timestamp":1776225833432,"version":"3.50.1"},"reference-count":35,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2022,3,1]],"date-time":"2022-03-01T00:00:00Z","timestamp":1646092800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2022,3,1]],"date-time":"2022-03-01T00:00:00Z","timestamp":1646092800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2022,1,19]],"date-time":"2022-01-19T00:00:00Z","timestamp":1642550400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100004271","name":"Universita degli Studi di Roma La Sapienza","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004271","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Blockchain: Research and Applications"],"published-print":{"date-parts":[[2022,3]]},"DOI":"10.1016\/j.bcra.2022.100062","type":"journal-article","created":{"date-parts":[[2022,1,29]],"date-time":"2022-01-29T19:31:53Z","timestamp":1643484713000},"page":"100062","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":5,"title":["A formal model for ledger management systems based on contracts and temporal logic"],"prefix":"10.1016","volume":"3","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4662-2019","authenticated-orcid":false,"given":"Paolo","family":"Bottoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anna","family":"Labella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4912-582X","authenticated-orcid":false,"given":"Remo","family":"Pareschi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"9","key":"10.1016\/j.bcra.2022.100062_bib1","volume":"2","author":"Szabo","year":"1997","journal-title":"Formalizing and securing relationships on public networks, First Monday"},{"key":"10.1016\/j.bcra.2022.100062_bib2","author":"Buterin"},{"issue":"4","key":"10.1016\/j.bcra.2022.100062_bib3","doi-asserted-by":"crossref","first-page":"508","DOI":"10.1017\/S0960129517000019","article-title":"A\u00a0doctrinal approach to modal\/temporal heyting logic and non-determinism in processes","volume":"28","author":"Bottoni","year":"2018","journal-title":"Math. Struct. Comput. Sci."},{"key":"10.1016\/j.bcra.2022.100062_bib4","series-title":"Handbook of Categorical Algebra, Encyclopedia of Mathematics and its Applications","author":"Borceux","year":"1994"},{"key":"10.1016\/j.bcra.2022.100062_bib5","series-title":"Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday, Vol. 11665 of LNCS","first-page":"298","article-title":"Modal epistemic logic on contracts: a doctrinal approach","author":"Bottoni","year":"2019"},{"key":"10.1016\/j.bcra.2022.100062_bib6","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/j.tcs.2021.07.012","article-title":"Transactions and contracts based on reaction systems","volume":"881","author":"Bottoni","year":"2021","journal-title":"Theor. Comput. Sci."},{"issue":"6","key":"10.1016\/j.bcra.2022.100062_bib7","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1017\/S0960129599002935","article-title":"Observational trees as models for concurrency","volume":"9","author":"Kasangian","year":"1999","journal-title":"Math. Struct. Comput. Sci."},{"key":"10.1016\/j.bcra.2022.100062_bib8","series-title":"Sheaves in Geometry and Logic, Universitext","author":"Mac Lane","year":"1992"},{"key":"10.1016\/j.bcra.2022.100062_bib9","doi-asserted-by":"crossref","DOI":"10.3389\/fbloc.2020.535787","article-title":"Intelligent smart contracts for innovative supply chain management","volume":"3","author":"Bottoni","year":"2020","journal-title":"Frontiers in Blockchain"},{"key":"10.1016\/j.bcra.2022.100062_bib10","doi-asserted-by":"crossref","unstructured":"P. Bottoni, N. Gessa, G. Massa, et\u00a0al., Distributed ledgers to support revenue-sharing business consortia: a hyperledger-based implementation, 2021 IEEE Symposium on Computers and Communications (ISCC); 5\u20138 Sep 2021; Athens, Greece, IEEE, Piscataway, NJ, USA, 2021, pp. 1\u20136.","DOI":"10.1109\/ISCC53001.2021.9631473"},{"key":"10.1016\/j.bcra.2022.100062_bib11","series-title":"Developing Time-Oriented Database Applications in SQL","author":"Snodgrass","year":"1999"},{"key":"10.1016\/j.bcra.2022.100062_bib12","series-title":"The TSQL2 Temporal Query Language","author":"Snodgrass","year":"1995"},{"key":"10.1016\/j.bcra.2022.100062_bib13","series-title":"Temporal Databases: Theory, Design, and Implementation","author":"Tansel","year":"1993"},{"key":"10.1016\/j.bcra.2022.100062_bib14","series-title":"WETSEB \u201918: Proceedings of the 1st International Workshop on Emerging Trends in Software Engineering for Blockchain; 27 May 2018; Gothenburg, Sweden","first-page":"1","article-title":"Ethereum query language","author":"Bragagnolo","year":"2018"},{"issue":"4","key":"10.1016\/j.bcra.2022.100062_bib15","first-page":"24","article-title":"Storing and querying blockchain using SQL databases","volume":"17","author":"Yue","year":"2019","journal-title":"Inf. Syst. Electron. J."},{"key":"10.1016\/j.bcra.2022.100062_bib16","series-title":"Readings in Artificial Intelligence","first-page":"431","article-title":"Some philosophical problems from the standpoint of artificial intelligence","author":"McCarthy","year":"1981"},{"key":"10.1016\/j.bcra.2022.100062_bib17","series-title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","author":"Reiter","year":"2001"},{"issue":"1","key":"10.1016\/j.bcra.2022.100062_bib18","doi-asserted-by":"crossref","first-page":"428","DOI":"10.1016\/j.artint.2010.04.014","article-title":"McCarthy variations in a modal key","volume":"175","author":"van Benthem","year":"2011","journal-title":"Artif. Intell."},{"issue":"4","key":"10.1016\/j.bcra.2022.100062_bib19","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1007\/s10849-009-9117-6","article-title":"The situation calculus: a case for modal logic","volume":"19","author":"Lakemeyer","year":"2010","journal-title":"J.\u00a0Logic Lang. Inf."},{"key":"10.1016\/j.bcra.2022.100062_bib20","doi-asserted-by":"crossref","first-page":"324","DOI":"10.4204\/EPTCS.251.22","article-title":"A\u00a0knowledge-based analysis of the blockchain protocol","volume":"251","author":"Halpern","year":"2017","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"issue":"5","key":"10.1016\/j.bcra.2022.100062_bib21","doi-asserted-by":"crossref","first-page":"803","DOI":"10.1093\/logcom\/exz007","article-title":"A\u00a0temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol","volume":"29","author":"Marinkovic","year":"2019","journal-title":"J.\u00a0Logic Comput."},{"issue":"8","key":"10.1016\/j.bcra.2022.100062_bib22","doi-asserted-by":"crossref","first-page":"1469","DOI":"10.1093\/logcom\/exaa045","article-title":"A\u00a0logic of blockchain updates","volume":"30","author":"Br\u00fcnnler","year":"2020","journal-title":"J.\u00a0Logic Comput."},{"issue":"2","key":"10.1016\/j.bcra.2022.100062_bib23","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1002\/(SICI)1096-9942(1996)2:2<77::AID-TAPO1>3.0.CO;2-4","article-title":"The coordination language facility: coordination of distributed objects","volume":"2","author":"Andreoli","year":"1996","journal-title":"Theor. Pract. Object Syst."},{"issue":"4","key":"10.1016\/j.bcra.2022.100062_bib24","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/4236.612214","article-title":"XPECT: a framework for electronic commerce","volume":"1","author":"Andreoli","year":"1997","journal-title":"IEEE Internet Comput"},{"issue":"2\u20133","key":"10.1016\/j.bcra.2022.100062_bib25","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/S0167-6423(97)00020-8","article-title":"Multiparty negotiation of dynamic distributed object services","volume":"31","author":"Andreoli","year":"1998","journal-title":"Sci. Comput. Program."},{"key":"10.1016\/j.bcra.2022.100062_bib26","first-page":"487","article-title":"Trigger-based compensation in web service environments","author":"Karlsen","year":"2003","journal-title":"Proc. ICEIS"},{"key":"10.1016\/j.bcra.2022.100062_bib27","doi-asserted-by":"crossref","DOI":"10.1002\/cpe.5992","article-title":"Blockchain and cryptocurrencies: a classification and comparison of architecture drivers","volume":"33","author":"Garriga","year":"2021","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"10.1016\/j.bcra.2022.100062_bib28","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1016\/j.future.2019.12.019","article-title":"An overview on smart contracts: challenges, advances and platforms","volume":"105","author":"Zheng","year":"2020","journal-title":"Future Generat. Comput. Syst."},{"key":"10.1016\/j.bcra.2022.100062_bib29","series-title":"Bitcoin and beyond","first-page":"157","article-title":"Experiments in algorithmic governance: a history and ethnography of \u201cThe DAO\u201d, a failed Decentralized Autonomous Organization","author":"DuPont","year":"2017"},{"issue":"9","key":"10.1016\/j.bcra.2022.100062_bib30","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1109\/MC.2017.3571045","article-title":"Validation and verification of smart contracts: a research agenda","volume":"50","author":"Magazzeni","year":"2017","journal-title":"IEEE Computer"},{"issue":"3","key":"10.1016\/j.bcra.2022.100062_bib31","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/s10506-016-9185-2","article-title":"Contract automata\u2014an operational view of contracts between interactive parties","volume":"24","author":"Azzopardi","year":"2016","journal-title":"Artif. Intell. Law"},{"issue":"4","key":"10.1016\/j.bcra.2022.100062_bib32","first-page":"1","article-title":"Automata for specifying and orchestrating service contracts","volume":"12","author":"Basile","year":"2016","journal-title":"Log. Methods Comput. Sci."},{"key":"10.1016\/j.bcra.2022.100062_bib33","series-title":"FC 2018: Financial Cryptography and Data Security","first-page":"523","article-title":"Designing secure Ethereum smart contracts: a finite state machine based approach","author":"Mavridou","year":"2018"},{"key":"10.1016\/j.bcra.2022.100062_bib34","series-title":"FC 2019: Financial Cryptography and Data Security","first-page":"446","article-title":"Verisolid: correct-by-design smart contracts for Ethereum","author":"Mavridou","year":"2019"},{"key":"10.1016\/j.bcra.2022.100062_bib35","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1016\/j.jvlc.2016.10.004","article-title":"Resource-aware policies","volume":"38","author":"Bottoni","year":"2017","journal-title":"J.\u00a0Vis. Lang. Comput."}],"container-title":["Blockchain: Research and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2096720922000021?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2096720922000021?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T00:15:43Z","timestamp":1761869743000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S2096720922000021"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3]]},"references-count":35,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2022,3]]}},"alternative-id":["S2096720922000021"],"URL":"https:\/\/doi.org\/10.1016\/j.bcra.2022.100062","relation":{},"ISSN":["2096-7209"],"issn-type":[{"value":"2096-7209","type":"print"}],"subject":[],"published":{"date-parts":[[2022,3]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"A formal model for ledger management systems based on contracts and temporal logic","name":"articletitle","label":"Article Title"},{"value":"Blockchain: Research and Applications","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.bcra.2022.100062","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2022 The Authors. Published by Elsevier B.V. on behalf of Zhejiang University Press.","name":"copyright","label":"Copyright"}],"article-number":"100062"}}