philipp15b / caalaf Goto Github PK
View Code? Open in Web Editor NEWThis project forked from caal/caal
CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes expressed in the well-known CCS language (Calculus of Communicating Systems).
Home Page: https://philipp15b.github.io/CAALAF/
License: MIT License