The Specification and Testing of Quantified Progress Properties in Distributed Systems.
Prakash KrishnamurthyPaolo A. G. SivilottiPublished in: ICSE (2001)
Keyphrases
- distributed systems
- fault tolerant
- distributed environment
- fault tolerance
- load balancing
- distributed computing
- geographically distributed
- message passing
- software architecture
- mobile agents
- distributed database systems
- mobile computing
- concurrent systems
- formal verification
- agent technology
- data replication
- deadlock detection
- formal specification
- security policies
- dynamic environments