Code of CSP-Agda for TyDe 2016 Paper
This library contains the library CSP-Agda, which integrates the process algebra CSP into Agda.
It was used in the
TyDe 2016 paper
by Anton Setzer and Bashar Igried, and further developed since.
Current Version under github
Other Agda2 code by Anton Setzer
Last modified: Sat 27 May 2017 23:32 BST