The latest version of CSPM-Interpreter is 0.7.1.0-0.
CSPM-Interpreter
Version 0.4.0.2 revision 0 uploaded by MarcFontaine.
Package meta
- Synopsis
- An interpreter for CSPM
- Description
This package contains an interpreter for CSPM and instance declarations that implement the interface defined in the package CSPM-CoreLanguage. All type family instances that belong to this implementation are indexed with the phantom-type INT (INT == interpreter). The operational semantics of core-CSP is defined in the CSPM-FiringRules package.
- Author
- 2010 Marc Fontaine
- Bug reports
- n/a
- 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
- n/a