3 citations · 3 across the 1 of their papers we have counts for
2 papers
cs.CR2018
Modelling Bitcoin in Agda
Anton Setzer
We present two models of the block chain of Bitcoin in the interactive theorem prover Agda. The first one is based on a simple model of bank accounts, while having transactions wit…
cs.PL2017★ 3 cited
Trace and Stable Failures Semantics for CSP-Agda
Bashar Igried, Anton Setzer
CSP-Agda is a library, which formalises the process algebra CSP in the interactive theorem prover Agda using coinductive data types. In CSP-Agda, CSP processes are in monadic form,…