Login / Signup
P-congruences as non-interference for the pi-calculus.
Silvia Crafa
Sabina Rossi
Published in:
FMSE (2006)
Keyphrases
</>
automated deduction
computer algebra
multipath
real numbers
website
natural language
formal language
pi control