Search Results for author: Kai Brünnler

Found 1 papers, 0 papers with code

A Logic of Blockchain Updates

no code implementations6 Jul 2017 Kai Brünnler, Dandolo Flumini, Thomas Studer

Blockchains are distributed data structures that are used to achieve consensus in systems for cryptocurrencies (like Bitcoin) or smart contracts (like Ethereum).

Logic in Computer Science

Cannot find the paper you are looking for? You can Submit a new open access paper.