My favorites | Sign in
Project Home Wiki Issues Source
READ-ONLY: This project has been archived. For more information see this post.
Project Information
Members

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.

Powered by Google Project Hosting