Using tracing to direct our reasoning about distributed programs.

William S. Lloyd Phil Kearns

Published in: ICDCS (1991)

Keyphrases

distributed systems
peer to peer
distributed environment
multi agent
fixpoint
database
qualitative reasoning
distributed data
mobile agents
formal theory
heterogeneous environments
distributed processing
communication cost
logic programs
digital libraries
cooperative
real time