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

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