working paper
A Symbolic Characterisation of Open Bisimulation for the Spi Calculus
2007
Open hedged bisimulation was proposed as a generalisation to the spi calculus of the pi calculus'open bisimulation. In this paper, we extend previous work on open hedged bisimulation. We show that open hedged bisimilarity is closed under respectful substitutions and give a symbolic characterisation of open hedged bisimulation. The latter result is an important step towards mechanisation of open hedged bisimilarity.
Type
working paper
Author(s)
Date Issued
2007
Subjects
Written at
EPFL
EPFL units
Available on Infoscience
May 30, 2007
Use this identifier to reference this record