coq-ccs

Equivalence notions on labelled transitions systems. We give the specification of three different notions of equivalence classically defined on labelled transitions systems underlying the theories of process algebra (and particularly CCS). The fundamentals properties of these equivalence notions are proven.

opam install coq-ccs.8.5.0
homepage
https://github.com/coq-contribs/ccs
license
Proprietary
bugs tracker
https://github.com/coq-contribs/ccs/issues
dependencies
coq (>= 8.5 & < 8.6~)
source
https://github.com/coq-contribs/ccs/archive/v8.5.0.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-ccs/coq-ccs.8.5.0