Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Brünnler, Kai | - |
| dc.contributor.author | Flumini, Dandolo | - |
| dc.contributor.author | Studer, Thomas | - |
| dc.date.accessioned | 2020-10-15T06:38:34Z | - |
| dc.date.available | 2020-10-15T06:38:34Z | - |
| dc.date.issued | 2020-09-25 | - |
| dc.identifier.issn | 0955-792X | de_CH |
| dc.identifier.issn | 1465-363X | de_CH |
| dc.identifier.uri | https://boris.unibe.ch/id/eprint/151283 | de_CH |
| dc.identifier.uri | https://digitalcollection.zhaw.ch/handle/11475/20611 | - |
| dc.description.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. | de_CH |
| dc.language.iso | en | de_CH |
| dc.publisher | Oxford University Press | de_CH |
| dc.relation.ispartof | Journal of Logic and Computation | de_CH |
| dc.rights | Licence according to publishing contract | de_CH |
| dc.subject.ddc | 005: Computerprogrammierung, Programme und Daten | de_CH |
| dc.title | A logic of blockchain updates | de_CH |
| dc.type | Beitrag in wissenschaftlicher Zeitschrift | de_CH |
| dcterms.type | Text | de_CH |
| zhaw.departement | School of Engineering | de_CH |
| zhaw.organisationalunit | Institut für Angewandte Mathematik und Physik (IAMP) | de_CH |
| dc.identifier.doi | 10.1093/logcom/exaa045 | de_CH |
| zhaw.funding.eu | No | de_CH |
| zhaw.issue | 8 | de_CH |
| zhaw.originated.zhaw | Yes | de_CH |
| zhaw.pages.end | 1485 | de_CH |
| zhaw.pages.start | 1469 | de_CH |
| zhaw.publication.status | publishedVersion | de_CH |
| zhaw.volume | 30 | de_CH |
| zhaw.publication.review | Peer review (Publikation) | de_CH |
| zhaw.author.additional | No | de_CH |
| zhaw.display.portrait | Yes | de_CH |
| Appears in collections: | Publikationen School of Engineering | |
Files in This Item:
There are no files associated with this item.
Show simple 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.