An equivalence checker for pi calculus models. The problem is tackled via Fresh-Register Automata.
Primary LanguageGoMIT LicenseMIT