Type inference for a distributed \pi-calculus.

Cédric Lhoussaine

Published in: Sci. Comput. Program. (2004)

Keyphrases

distributed systems
cooperative
probabilistic inference
database
bayesian networks
lightweight
fault tolerant
inference process
type checking
real time
information systems
mobile agents
computing environments
random fields
inference mechanism
database query languages