TY  - RPRT
TI  - A Process Calculus for Formally Verifying Blockchain Consensus Protocols
AU  - Wolfgang Jeltsch
PY  - 2019
UR  - https://arxiv.org/abs/1911.08033
ID  - 1911.08033
ER  -