Open Bisimulation, Revisited
Briais, Sébastien; Nestmann, Uwe
2007

Files

Abstract

In the context of the pi calculus, open bisimulation is prominent and popular due to its congruence properties and its easy implementability. Motivated by the attempt to generalise it to the spi calculus, we offer a new, more refined definition and show in how far it coincides with the original one.

Details

Title Open Bisimulation, Revisited
Author(s) Briais, Sébastien ; Nestmann, Uwe
Published in Theoretical Computer Science
Volume 386
Issue 3
Pages 236-271
Date 2007
Keywords
DOI https://doi.org/10.1016/j.tcs.2007.07.010
Other identifier(s) DAR: 11452
View record in Web of Science
Laboratories LAMP
Record Appears in Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > LAMP - Programming Methods Laboratory
Peer-reviewed publications
Work produced at EPFL
Journal Articles
Published
Record creation date 2006-10-25

PDF