Executable Specification of Pi-Calculus with Reduction Semantics in Maude.
This repository is not active