"Blockchains as Kripke Models: An Analysis of Atomic Cross-Chain Swap."

Yoichi Hirai (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics