package coq-pi-calc
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Pi-calculus in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v8.9.0.tar.gz
md5=d0882753de8b62ef0fe18fb05acc9f66
Description
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.
On This Page