Specification of Distributed Programs.
Derek ColemanRobin M. GallimorePublished in: Program Specification (1981)
Keyphrases
- distributed systems
- provably correct
- distributed environment
- cooperative
- multi agent
- communication overhead
- high level
- peer to peer
- real time
- fault tolerant
- answer sets
- communication cost
- distributed database systems
- distributed data
- programming language
- artificial intelligence
- computer networks
- computing environments
- data sets