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.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.