package coq-pi-calc

  1. Overview
  2. No Docs
Pi-calculus in Coq

Install

Dune Dependency

Authors

Maintainers

Sources

v8.8.0.tar.gz
md5=3f2c7a1365c9a374a9e0336e03264361

Description

http://www.dimi.uniud.it/~scagnett/pi-calculus.html

This is a HOAS-based encoding of the pi-calculus (as originally conceived by Milner, Parrow and Walker in "A Calculus of Mobile Processes" Parts I-II, Information and Computation n. 100) together with the formal verification of a large part of the metatheory of Strong Late Bisimilarity.

Dependencies (2)

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

Dev Dependencies

None

Used by

None

Conflicts

None