Modular State Level Analysis of Distributed Systems Techniques and Tool Support.

Peter Buchholz Peter Kemper

Published in: TACAS (1999)

Keyphrases

distributed systems
distributed environment
fault tolerant
load balancing
fault tolerance
tool support
mobile agents
distributed database systems
real time systems
databases
machine learning
software architecture
software tools
literature review
geographically distributed