|Publication type:||Article in scientific journal|
|Type of review:||Peer review (publication)|
|Title:||A logic of blockchain updates|
|Published in:||Journal of Logic and Computation|
|Publisher / Ed. Institution:||Oxford University Press|
|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.