The latest version of CSPM-CoreLanguage is 0.3.1.0-0.

CSPM-CoreLanguage

Version 0.1.0.2 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
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
experimental

Components