Heterogeneous Analysis and Verification for Distributed Systems.

Bernhard Steffen Tiziana Margaria Andreas Claßen

Published in: Softw. Concepts Tools (1996)

Keyphrases

distributed systems
concurrent systems
load balancing
distributed environment
fault tolerant
message passing
loosely coupled
case study
distributed computing
geographically distributed
database
real time
database systems
agent technology
security policies