7 citations · 10 across the 3 of their papers we have counts for
1 paper · 2 filters
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,…