An Implementation Relation and Test Framework for Timed Distributed Systems.

Christophe Gaston Robert M. Hierons Pascale Le Gall

Published in: ICTSS (2013)

Keyphrases

distributed systems
distributed environment
load balancing
software architecture
distributed computing
fault tolerant
distributed database systems
database systems
fault tolerance
message passing
real time systems
concurrent systems
database
databases
complexity analysis