Complete inference systems for weak bisimulation equivalences in the pi-calculus.

Published in: Inf. Comput. (2003)

Keyphrases

data sets
expert systems
intelligent systems
computer systems
complex systems
database
multimedia
building blocks
bayesian inference
provably correct