The Power of some Formal Models of Distributed Computing.
Rune GustavssonBjörn PehrsonPublished in: Protocol Specification, Testing, and Verification (1983)
Keyphrases
- distributed computing
- formal models
- formal model
- rule based systems
- distributed environment
- fault tolerance
- process model
- grid computing
- distributed systems
- cloud computing
- peer to peer
- geographically distributed
- mobile agents
- power consumption
- mobile communications
- virtual machine
- distributed data mining
- distributed computing systems
- response time
- multimedia
- artificial intelligence
- load balancing
- petri net
- distributed computing environment
- databases