package coq-hedges
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Some properties of hedges used by hedged bisimulation
Install
Dune Dependency
Authors
Maintainers
Sources
v8.6.0.tar.gz
md5=18839ff05920f2e8cda2997369c08b6b
Description
These properties are in section 6.1 of the paper "On Bisimulations for the Spi-Calculus" by J. Borgström and U. Nestmann. However, we consider here an extended message language.
On This Page