CSPM-CoreLanguage

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.

BSD3 licensed by 2010 - 2013 Marc Fontaine
Maintained by Marc Fontaine

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.

Depends on:
comments powered byDisqus