Maintainer | bastiaan.heeren@ou.nl |
---|---|
Stability | provisional |
Portability | portable (depends on ghc) |
Safe Haskell | Safe |
Language | Haskell98 |
Ideas.Common.Strategy.Process
Description
Processes support choices and sequences and are modelled after Hoare's CSP calculus.