Complete Inference Systems for Weak Bisimulation Equivalences in the pi-Calculus.

Published in: TAPSOFT (1995)

Keyphrases

expert systems
information systems
bayesian networks
fuzzy logic
distributed systems
real time
machine learning
multi agent systems
management system
knowledge based systems
complex systems
retrieval systems
bayesian inference
inference engine