Symbolic Bisimulation in the Spi Calculus

CONCUR 2004 - Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/978-3-540-28644-8_11 ◽

2004 ◽

pp. 161-176 ◽

Author(s):

Johannes Borgström ◽

Sébastien Briais ◽

Uwe Nestmann

Download Full-text