A Logic of Blockchain Updates

Brünnler, Kai; Flumini, Dandolo; Studer, Thomas (2020). A Logic of Blockchain Updates. Journal of logic and computation, 30(8), pp. 1469-1485. Oxford University Press 10.1093/logcom/exaa045

[img]
Preview
Text
BlockchainLogicJournal.pdf - Accepted Version
Available under License Publisher holds Copyright.

Download (290kB) | Preview
[img] Text
exaa045.pdf - Published Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (223kB) | Request a copy

Item Type:

Journal Article (Original Article)

Division/Institute:

08 Faculty of Science > Institute of Computer Science (INF)

UniBE Contributor:

Studer, Thomas

Subjects:

000 Computer science, knowledge & systems
500 Science > 510 Mathematics

ISSN:

0955-792X

Publisher:

Oxford University Press

Language:

English

Submitter:

Atefeh Rohani

Date Deposited:

29 Jan 2021 15:27

Last Modified:

05 Dec 2022 15:45

Publisher DOI:

10.1093/logcom/exaa045

BORIS DOI:

10.48350/151283

URI:

https://boris.unibe.ch/id/eprint/151283

Actions (login required)

Edit item Edit item
Provide Feedback