Using the Causal Domain to Specify and verify Distributed Programs.

Vijay K. Garg Alexander I. Tomlinson

Published in: Acta Informatica (1997)

Keyphrases

domain independent
cooperative
distributed systems
distributed environment
multi agent
communication overhead
transfer learning
domain specific
metadata
lightweight
bayesian networks
database systems
high level
fault tolerant
distributed database systems
causal models
data mining
distributed network
causal networks