Specifications of Distributed Programs.
Barbara LiskovWilliam E. WeihlPublished in: Distributed Comput. (1986)
Keyphrases
- distributed systems
- communication overhead
- multi agent
- recursive programs
- control flow
- cooperative
- distributed environment
- mobile agents
- distributed data
- peer to peer
- information systems
- relational databases
- lightweight
- data mining
- digital libraries
- computer networks
- fault tolerant
- data flow
- database systems
- computer programs
- programming environment
- high level
- distributed learning
- automatic programming
- social networks