Characterising Testing Preorders for Broadcasting Distributed Systems.
Andrea CeroneMatthew HennessyPublished in: TGC (2014)
Keyphrases
- real time
- distributed systems
- fault tolerant
- geographically distributed
- load balancing
- distributed environment
- fault tolerance
- operating system
- distributed database systems
- message passing
- real time systems
- loosely coupled
- test cases
- mobile agents
- software architecture
- deadlock detection
- distributed computing
- high assurance
- security policies
- case study
- data replication
- concurrent systems
- database
- intelligent agents