@hackage / CSPM-Interpreter

An interpreter for CSPM

Latest0.7.1.0

About

Metadata

  • Last updated , by MarcFontaine
  • License BSD-3-Clause
  • Categories Concurrency

  • Maintained by: Marc Fontaine <Marc.Fontaine@gmx.de>

  • Lottery factor: 0

Links

Installation

Readme

CSPM-Interpreter

This package contains an interpreter for CSPM and instance declarations that implement the interface defined in the package CSPM-CoreLanguage. The operational semantics of core-CSP is defined in the CSPM-FiringRules package.

Haddock documentation