GitHub - carvil/HaCWB: Haskell CWB - Visualize PI calculus and CCS processes in GraphViz

carvil / HaCWB Public

Haskell CWB - Visualize PI calculus and CCS processes in GraphViz

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
report		report
src		src
.gitignore		.gitignore
Makefile		Makefile
README		README

Repository files navigation

Visualize processes (PI calculus and CCS notations) using GraphViz.

Haskell CWB - Visualize PI calculus and CCS processes in GraphViz

No releases published

No packages published