Login / Signup

The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity.

Giuseppe CastagnaFrancesco Zappa Nardelli
Published in: FSTTCS (2002)
Keyphrases