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

Yoichi Hirai

Browse the full ISoLA paper archive.