yungene / pisim22 Goto Github PK
View Code? Open in Web Editor NEWAn equivalence checker for pi calculus models. The problem is tackled via Fresh-Register Automata.
Home Page: https://github.com/yungene/pisim22-dissertation-report
License: MIT License