GitHub repository: Fabian-O01/CAAL
Primary language: TypeScript
Description: 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). This fork provides an extension by integration of the principle of spectroscopy.