Symbolic Bisimulation in the Spi Calculus.

Johannes Borgstrm, Sbastien Briais, Uwe Nestmann

Browse the full CONCUR paper archive.