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