Partial Correctness of Distributed Programs.

Derek Coleman Robin M. Gallimore

Published in: Program Specification (1981)

Keyphrases

distributed systems
cooperative
multi agent
peer to peer
distributed environment
computer programs
machine learning
mobile agents
distributed data
distributed architecture
concurrent execution
databases
learning algorithm
artificial intelligence
computer networks
fault tolerant