package coq-ccs

  1. Overview
  2. No Docs
Equivalence notions on labelled transitions systems

Install

Dune Dependency

github.com Edit opam file Versions (6)

Authors

  1. S
    Solange Coupet-Grimal <>

Maintainers

  1. M
    matej.kosik@inria.fr

Sources

v8.5.0.tar.gz
md5=4aed16c1b73ac30303c4acca8084874d

Description

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.

Tags

keyword:labelled transitions systems keyword:process algebra keyword:calculus of concurrent process (ccs) category:Computer Science/Concurrent Systems and Protocols/Theory of concurrent systems

Published: 07 Jun 2016

Dependencies (2)

  1. coq >= "8.5" & < "8.6~"
  2. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None