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.10.0.tar.gz
md5=ca4da241b945c5825abbfddff139939f

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: 07 Dec 2019

Dependencies (2)

  1. coq >= "8.10" & < "8.11~"
  2. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None