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.7.0.tar.gz
md5=a13fbede8302bc09f1d6d8d79c53c378

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: 11 Jan 2019

Dependencies (2)

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

Dev Dependencies

None

Used by

None

Conflicts

None