Login / Signup

Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice.

Zining Cao
Published in: TASE (2013)
Keyphrases
  • higher order
  • lambda calculus
  • natural images
  • high order
  • pairwise
  • markov random field
  • markov models
  • database query languages
  • database
  • low order
  • automated deduction
  • provably correct