Definition of a FDR-compatible CSP core-language.
|Latest on Hackage:||0.3.0.3|
This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.
This package contains an interface for a CSP core-language. It defines processes, events, event sets, a EDSL for process operations like parallel or interleaving. This interface can be used to implement a FDR-2.83 compatible CSPM animator. We use this interface in our tool to connect the functional CSPM-sub-language with core CSP functionality.