CSPM-CoreLanguage (hackage): This package contains an interface for the CSP core-language. It defines processes, events, event sets, and a domain specific language for process operations like parallel or interleaving processes.
Keywords: bsd3|concurrency|formal-methods|language|library