A Proof System for Distributed Processes.
Ann E. Kelley SobelNeelam SoundararajanPublished in: Logic of Programs (1985)
Keyphrases
- distributed systems
- computer networks
- multi agent
- distributed environment
- distributed learning
- communication overhead
- cooperative
- modal logic
- data sets
- lightweight
- peer to peer
- distributed data
- communication cost
- computing environments
- digital libraries
- website
- decision making
- learning algorithm
- data mining
- neural network