A Process Calculus for Formally Verifying Blockchain Consensus Protocols (WFLP ’19 invited contribution)
functional-programming
blockchain
distributed-computing
formal-verification
process-calculus
higher-order-abstract-syntax
-
Updated
Dec 5, 2019 - TeX