Checking Verifications of Protocols and Distributed Systems by Computer.
Jan Friso GrooteFrançois MoninJaco van de PolPublished in: CONCUR (1998)
Keyphrases
- distributed systems
- fault tolerant
- fault tolerance
- distributed environment
- geographically distributed
- distributed computing
- load balancing
- real time systems
- message passing
- computer systems
- mobile agents
- concurrent systems
- data replication
- deadlock detection
- loosely coupled
- database
- mobile computing
- replicated data
- software development environments