Sign in

Just fast keying in the pi calculus.

Martín AbadiBruno BlanchetCédric Fournet
Published in: ACM Trans. Inf. Syst. Secur. (2007)
Keyphrases
  • automated deduction
  • control system
  • algebraic structure
  • neural network
  • real world
  • expressive power
  • formal language
  • database query languages