Open AccessOpen Bisimulation, Revisited
Author(s) -
Sébastien Briais,
Uwe Nestmann
Publication year - 2006
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2006.05.010
Subject(s) - bisimulation , congruence (geometry) , pi calculus , calculus (dental) , process calculus , context (archaeology) , computer science , algebra over a field , mathematics , theoretical computer science , pure mathematics , geometry , dentistry , medicine , paleontology , biology
In the context of the π-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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom