35 citations · 124 across the 25 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
cs.CY2020★ 3 cited
Karl Marx and the Blockchain
Devraj Basu, Murdoch Gabbay
Blockchain is often presented as a technological development; however, clearly it is not only that: the `Blockchain buzz' exists in the context of current social and political deve…
cs.LO2020★ 6 cited
Algebras of UTxO blockchains
Murdoch J. Gabbay
We condense the theory of blockchains down to a simple and compact set of four type equations (Idealised EUTxO), and to an algebraic characterisation (abstract chunk systems), and…
cs.LO2020★ 35 cited
UTxO- vs account-based smart contract blockchain programming paradigms
Lars Brunjes, Murdoch J. Gabbay
We implement two versions of a simple but illustrative smart contract: one in Solidity on the Ethereum blockchain platform, and one in Plutus on the Cardano platform, with annotate…