Loading...
research article
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.
Loading...
Name
OpenBisimulationRevisited.pdf
Access type
openaccess
Size
390.56 KB
Format
Adobe PDF
Checksum (MD5)
146e7c56cd5185646156f544de781cb1