Infoscience

Similar records
Working paper

A Symbolic Characterisation of Open Bisimulation for the Spi Calculus

Briais, Sébastien
  • Publication date: 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.

Keywords: Spi calculus ; Open bisimulation ; Symbolic semantics

Reference

  • LAMP-WORKINGPAPER-2007-001

Record created on 2007-05-30, modified on 2012-03-21

Fulltext

Contacts

EPFL authors