Generate labelled transition systems of pi-calculus models represented by fresh-register automata
Primary LanguageGoMIT LicenseMIT