@hackage / CSPM-Frontend

A CSP-M parser compatible with FDR-2.91

Latest0.12.1.0

About

Metadata

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

  • Maintained by: Marc Fontaine <Marc.Fontaine@gmx.de>, me@dobrikov.biz

  • Lottery factor: 0

Links

Installation

Readme

CSPM-Frontend

CSP-M is the machine readable syntax of CSP (concurrent sequential processes) as used by the formal methods tools FDR, Probe and ProB. This Package contains functions for lexing, parsing, renaming and pretty-printing CSP-M specifications. The parser is (almost) 100% compatible with the FDR-2.91 parser.

Haddock documentation