@hackage CSPM-CoreLanguage0.3.0.0

Definition of a FDR-compatible CSP core-language.

Categories
- Language
- Concurrency
License
BSD-3-Clause
Maintainer
Marc Fontaine <fontaine@cs.uni-duesseldorf.de>
Links
- Homepage
- Documentation
- No source repository
Versions
- 0.3.1.0 Thu, 26 Oct 2017
- 0.3.0.3 Tue, 6 Aug 2013
- 0.3.0.1 Mon, 2 Jul 2012
- 0.3.0.0 Fri, 24 Jun 2011
- 0.2.0.3 Fri, 18 Mar 2011
- 0.1.0.2 Thu, 6 May 2010

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.

Installation
In your cabal file:
Dependencies (0)
Dependents (0)

@hackage CSPM-CoreLanguage0.3.0.0

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (0)

Dependents (0)