The latest version of CSPM-Interpreter is 0.7.1.0-0.

CSPM-Interpreter

Version 0.6.0.3 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 - 2012 Marc Fontaine
Bug reports
n/a
Category
Language,Formal Methods,Concurrency
Copyright
n/a
Homepage
n/a
Maintainer
Marc Fontaine <fontaine@cs.uni-duesseldorf.de>
Package URL
n/a
Stability
experimental

Components