The latest version of CSPM-CoreLanguage is 0.3.1.0-0.
CSPM-CoreLanguage
Version 0.1.0.0 revision 0 uploaded by MarcFontaine.
Package meta
- Synopsis
- Definition of a FDR-compatible CSP core-language.
- Description
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.
- Author
- 2010 Marc Fontaine
- Bug reports
- http://asap0.cs.uni-duesseldorf.de/trac/prob/newticket
- Category
- Language,Formal Methods,Concurrency
- Copyright
- n/a
- Homepage
- http://www.stups.uni-duesseldorf.de/~fontaine/csp
- Maintainer
- Marc Fontaine <fontaine@cs.uni-duesseldorf.de>
- Package URL
- n/a
- Stability
- experimental