jackbergus/theory_of_concurrent_systems

Some Theory of Concurrent Systems, implemented C++ for better understanding of the practical people

Theory of Concurrent Systems

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