CSPM-CoreLanguage
Version 0.3.1.0 revision 0 uploaded by MarcFontaine.
Package meta
- Synopsis
- Definition of a CSP core-language.
- Description
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.
- Author
- 2010 - 2017 Marc Fontaine <Marc.Fontaine@gmx.de>
- Bug reports
- n/a
- Category
- Language,Formal Methods,Concurrency
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- Marc Fontaine <Marc.Fontaine@gmx.de>
- Package URL
- n/a
- Stability
- experimental