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.8.0.tar.gz
md5=7c14661e6af8b92861158d5fc7203ac1

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: 06 Feb 2019

Dependencies (2)

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

Dev Dependencies

None

Used by

None

Conflicts

None