Login / Signup

P-congruences as non-interference for the pi-calculus.

Silvia CrafaSabina Rossi
Published in: FMSE (2006)
Keyphrases
  • automated deduction
  • computer algebra
  • multipath
  • real numbers
  • website
  • natural language
  • formal language
  • pi control