package coq-hedges
Some properties of hedges used by hedged bisimulation
Install
Dune Dependency
Authors
Maintainers
Sources
v8.10.0.tar.gz
md5=dbac820401f5391028ab7056b5f7f006
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