Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org : 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.
Registry
- JSON
purl: pkg:hackage/CSPM-Frontend
Keywords: bsd3, concurrency, formal-methods, language, library
License: BSD-3-Clause
Latest release: over 6 years ago
First release: almost 15 years ago
Dependent repositories: 1
Downloads: 12,725 total
Last synced: 29 days ago