Publication type: Article in scientific journal
Type of review: Peer review (publication)
Title: A logic of blockchain updates
Authors: Brünnler, Kai
Flumini, Dandolo
Studer, Thomas
et. al: No
DOI: 10.1093/logcom/exaa045
Published in: Journal of Logic and Computation
Volume(Issue): 30
Issue: 8
Pages: 1469
Pages to: 1485
Issue Date: 25-Sep-2020
Publisher / Ed. Institution: Oxford University Press
ISSN: 0955-792X
Language: English
Subject (DDC): 005: Computer programming, programs and data
Abstract: Blockchains are distributed data structures that are used to achieve consensus in systems for cryptocurrencies (like Bitcoin) or smart contracts (like Ethereum). Although blockchains gained a lot of popularity recently, there are only few logic-based models for blockchains available. We introduce BCL⁠, a dynamic logic to reason about blockchain updates, and show that BCL is sound and complete with respect to a simple blockchain model.
Fulltext version: Published version
License (according to publishing contract): Licence according to publishing contract
Departement: School of Engineering
Organisational Unit: Institute of Applied Mathematics and Physics (IAMP)
Appears in collections:Publikationen School of Engineering

Files in This Item:
There are no files associated with this item.

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.