Open Bisimulation, Revisited

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.


Published in:
Theoretical Computer Science, 386, 3, 236–271
Year:
2007
Keywords:
Other identifiers:
Laboratories:




 Record created 2006-10-25, last modified 2018-03-17

n/a:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)