{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/CSPM-Frontend","name":"CSPM-Frontend","description":"CSP-M is the machine readable syntax of CSP (concurrent sequential processes) as used by\nthe formal methods tools FDR, Probe and ProB.\nThis Package contains functions for lexing, parsing, renaming and pretty-printing\nCSP-M specifications.\nThe parser is (almost) 100% compatible with the FDR-2.91 parser.","version":"0.12.1.0","softwareVersion":"0.12.1.0","license":"https://spdx.org/licenses/BSD-3-Clause","keywords":["bsd3","concurrency","formal-methods","language","library","Propose Tags"],"maintainer":[{"@type":"Person","name":"MarcFontaine"}],"author":[{"@type":"Person","name":"MarcFontaine"}],"copyrightHolder":[{"@type":"Person","name":"MarcFontaine"}],"dateCreated":"2009-07-10","dateModified":"2017-10-26","datePublished":"2017-10-26","copyrightYear":2009,"downloadUrl":"https://hackage.haskell.org/package/CSPM-Frontend-0.12.1.0/CSPM-Frontend-0.12.1.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","sameAs":["https://hackage.haskell.org/package/CSPM-Frontend"]}