Sign in

Bisimulation congruences in safe ambients.

Massimo MerroMatthew Hennessy
Published in: POPL (2002)
Keyphrases
  • neural network
  • real time
  • object recognition
  • case based reasoning
  • markov random field