Contribution: Hedges

Some properties of hedges used by hedged bisimulation

Authors:

  • Sébastien Briais [Ecole Polytechnique Fédérale de Lausanne.]

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.

Keywords:

  • bisimulation
  • spi calculus
  • hedges

Source files: