CAAL

Pinned Repositories

ace
Ace (Ajax.org Cloud9 Editor)
Language:JavaScript0 7 00
arbor
Language:JavaScript0 8 00
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).
Language:TypeScript41 9 14611

CAAL's Repositories

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).
Language:TypeScript41 9 14611
CAAL/ace
Ace (Ajax.org Cloud9 Editor)
Language:JavaScript0 7 00
CAAL/arbor
Language:JavaScript0 8 00