000104889 001__ 104889
000104889 005__ 20190316233959.0
000104889 037__ $$aREP_WORK
000104889 245__ $$aA Symbolic Characterisation of Open Bisimulation for the Spi Calculus
000104889 269__ $$a2007
000104889 260__ $$c2007
000104889 336__ $$aWorking Papers
000104889 520__ $$aOpen 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.
000104889 6531_ $$aSpi calculus
000104889 6531_ $$aOpen bisimulation
000104889 6531_ $$aSymbolic semantics
000104889 700__ $$0241935$$aBriais, Sébastien$$g156069
000104889 8564_ $$s364226$$uhttps://infoscience.epfl.ch/record/104889/files/SymbolicOpen-working.pdf$$zn/a
000104889 909C0 $$0252187$$pLAMP$$xU10409
000104889 909CO $$ooai:infoscience.epfl.ch:104889$$pworking$$pIC$$qGLOBAL_SET
000104889 937__ $$aLAMP-WORKINGPAPER-2007-001
000104889 973__ $$aEPFL$$sPUBLISHED
000104889 980__ $$aWORKING