A logic of blockchain updates

Brünnler, Kai; Flumini, Dandolo; Studer, Thomas

doi:10.1093/logcom/exaa045

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
Page(s):	1469
Pages to:	1485
Issue Date:	25-Sep-2020
Publisher / Ed. Institution:	Oxford University Press
ISSN:	0955-792X 1465-363X
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.
URI:	https://boris.unibe.ch/id/eprint/151283 https://digitalcollection.zhaw.ch/handle/11475/20611
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.

Show full item record

Brünnler, K., Flumini, D., & Studer, T. (2020). A logic of blockchain updates. Journal of Logic and Computation, 30(8), 1469–1485. https://doi.org/10.1093/logcom/exaa045

Brünnler, K., Flumini, D. and Studer, T. (2020) ‘A logic of blockchain updates’, Journal of Logic and Computation, 30(8), pp. 1469–1485. Available at: https://doi.org/10.1093/logcom/exaa045.

K. Brünnler, D. Flumini, and T. Studer, “A logic of blockchain updates,” Journal of Logic and Computation, vol. 30, no. 8, pp. 1469–1485, Sep. 2020, doi: 10.1093/logcom/exaa045.

BRÜNNLER, Kai, Dandolo FLUMINI und Thomas STUDER, 2020. A logic of blockchain updates. Journal of Logic and Computation [online]. 25 September 2020. Bd. 30, Nr. 8, S. 1469–1485. DOI 10.1093/logcom/exaa045. Verfügbar unter: https://boris.unibe.ch/id/eprint/151283

Brünnler, Kai, Dandolo Flumini, and Thomas Studer. 2020. “A Logic of Blockchain Updates.” Journal of Logic and Computation 30 (8): 1469–85. https://doi.org/10.1093/logcom/exaa045.

Brünnler, Kai, et al. “A Logic of Blockchain Updates.” Journal of Logic and Computation, vol. 30, no. 8, Sept. 2020, pp. 1469–85, https://doi.org/10.1093/logcom/exaa045.