Sign in

Characterizing Bisimulation Congruence in the pi-Calculus (Extended Abstract).

Xinxin Liu
Published in: CONCUR (1994)
Keyphrases
  • extended abstract
  • equivalence relation
  • databases
  • real world
  • socio technical
  • algebraic structure
  • expert systems
  • machine learning
  • artificial intelligence
  • decision making
  • automated deduction
  • computer algebra