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