Showing cs.LOShow all
3 papers · 1 filter
cs.LO2025
A declarative approach to specifying distributed algorithms using three-valued modal logic
Murdoch J. Gabbay, Luca Zanolini
We present Coalition Logic, a three-valued modal fixed-point logic designed for declaratively specifying and reasoning about distributed algorithms, such as the Paxos consensus alg…
cs.LO2020
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…
cs.LO2018
Equivariant ZFA with Choice: a position paper
Murdoch J. Gabbay
We propose Equivariant ZFA with Choice as a foundation for nominal techniques that is stronger than ZFC and weaker than FM, and why this may be particularly helpful in the context…