- Tytuł:
- A Process Calculus for Formally Verifying Blockchain Consensus Protocols
- Autorzy:
- Źródło:
- Declarative Programming and Knowledge Management : Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers. 12057:24-39
Książka elektroniczna