Login / Signup
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