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. H
    Hugo.Herbelin@inria.fr

Sources

v8.6.0.tar.gz
md5=2852cb3e88db046894cf277f2a429a48

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 algebras keyword: Calculus of Concurrent Process (CCS) category: Computer Science/Concurrent Systems and Protocols/Theory of concurrent systems

Published: 20 Nov 2018

Dependencies (2)

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

Dev Dependencies

None

Used by

None

Conflicts

None