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.6.0.tar.gz
md5=3b44b1cc79d1a2f87b6e2239e8f4aca2

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: 20 Nov 2018

Dependencies (2)

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

Dev Dependencies

None

Used by

None

Conflicts

None