@hackage CSPM-CoreLanguage0.3.1.0

Definition of a CSP core-language.

Categories
- Concurrency
License
BSD-3-Clause
Maintainer
Marc Fontaine <Marc.Fontaine@gmx.de>
Links
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

Installation
In your cabal file:
Dependencies (1)
- base >=4.0 && <5.0
Dependents (4)
@hackage/CSPM-cspm, @hackage/acme-everything, @hackage/CSPM-FiringRules, @hackage/CSPM-Interpreter

This package contains an interface for the CSP core-language. It defines processes, events, event sets, and a domain specific language for process operations like parallel or interleaving processes.

@hackage CSPM-CoreLanguage0.3.1.0

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (1)

Dependents (4)