|
Project Information
|
Haskell libraries for manipulation of ccs and pi-calculus programs. A program that produce a graphviz graph with the animation of the execution of the ccs and pi-calculus programs. |
|
Project Information
|
Haskell libraries for manipulation of ccs and pi-calculus programs. A program that produce a graphviz graph with the animation of the execution of the ccs and pi-calculus programs. |