{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/CSPM-CoreLanguage","name":"CSPM-CoreLanguage","description":"This package contains an interface for the CSP core-language.\nIt defines processes, events, event sets, and a domain specific language\nfor process operations like parallel or interleaving processes.","version":"0.3.1.0","softwareVersion":"0.3.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":"2010-05-04","dateModified":"2017-10-26","datePublished":"2017-10-26","copyrightYear":2010,"downloadUrl":"https://hackage.haskell.org/package/CSPM-CoreLanguage-0.3.1.0/CSPM-CoreLanguage-0.3.1.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","sameAs":["https://hackage.haskell.org/package/CSPM-CoreLanguage"]}