Login / Signup

Semantic subtyping for the pi-calculus.

Giuseppe CastagnaRocco De NicolaDaniele Varacca
Published in: Theor. Comput. Sci. (2008)
Keyphrases