The latest version of CSPM-Frontend is 0.12.1.0-0.
CSPM-Frontend
Version 0.3.0.3 revision 0 uploaded by MarcFontaine.
Package meta
- Synopsis
- A CSP-M parser compatible with FDR-2.83
- Description
CSP-M is the machine readable syntax of CSP (concurrent sequential processes) as used by the formal methods tools FDR, Prob 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.83 parser.
- Author
- Marc Fontaine
- Bug reports
- http://asap0.cs.uni-duesseldorf.de/trac/prob/newticket
- 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
- unstable