Executable Specification of Pi-Calculus with Reduction Semantics in Maude.
Home Page:https://fse.studenttheses.ub.rug.nl/25451/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool