Generate labelled transition systems of pi-calculus models represented by fresh-register automata
Primary LanguageGoMIT LicenseMIT
No issues in this repository yet.