Files

Action Filename Description Size Access License Resource Version
Show more 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

Actions

Preview