The Seal Calculus Revisited: contextual equivalence and bisimilarity (0)

by G Castagna, F Zappa Nardelli
Venue:In Proc. of FSTTCS’02, volume 2556 of LNCS