omelkonian/formal-process-calculus

Investigating different ways of modelling a minimal process calculus in Agda.