Type Inference for a Distributed pi-Calculus.

Cédric Lhoussaine

Published in: ESOP (2003)

Keyphrases

distributed systems
cooperative
type checking
peer to peer
bayesian networks
probabilistic inference
databases
multi agent systems
mobile agents
multi agent
bayesian inference
distributed data
lightweight
message passing
communication cost
inference engine
loosely coupled
inference mechanism