The library FDR3 uses for parsing, type checking and evaluating machine CSP.
Why do you think that https://github.com/haskell-hvr/token-bucket is a good alternative to cspmchecker
The library FDR3 uses for parsing, type checking and evaluating machine CSP.
Why do you think that https://github.com/haskell-hvr/token-bucket is a good alternative to cspmchecker