This repository provides some implementations of the theory of concurrent systems
- CCS: this library is supporting Regular CCS and its behavioural semantics (i.e., the generation of a LTS out of a Regular CCS formula)
- HML: this library supports simple HML semantics for finite LTS.
Suggested Reading:
- R. Gorrieri, C. Versari. "Introduction to Concurrency Theory. Transition Systems and CCS" Texts in Theoretical Computer Science. An EATCS Series, Springer 2015, ISBN 978-3-319-21490-0, pp. 1-321