Sciweavers

CONCUR
2004
Springer

Symbolic Bisimulation in the Spi Calculus

14 years 5 months ago
Symbolic Bisimulation in the Spi Calculus
Johannes Borgström, Sébastien Briais,
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where CONCUR
Authors Johannes Borgström, Sébastien Briais, Uwe Nestmann
Comments (0)