A python based compiler for turning CSP specified programs into executable python programs.
=======
Needed Features
- Add support for the Probe operator and its semantics.
- Allow for boolean composition of predicates in guards.
- Add support for creation of generic processes.
- Add support for forall operator.
- Add support for compile time warnings and errors.