package coq-pi-calc

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

Install

Dune Dependency

github.com Edit opam file Versions (6)

Authors

  1. I
    Ivan Scagnetto <scagnett@dimi.uniud.it>

Maintainers

  1. H
    Hugo.Herbelin@inria.fr

Sources

v8.7.0.tar.gz
md5=2a2882cf9d2af6e68c377b9ffda3c373

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.

Tags

keyword: process algebras keyword: pi-calculus keyword: concurrency keyword: higher-order syntax category: Computer Science/Concurrent Systems and Protocols/Theory of concurrent systems date: 1998-07

Published: 11 Jan 2019

Dependencies (2)

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

Dev Dependencies

None

Used by

None

Conflicts

None