Login / Signup
FOCUS: A Formal Design Method for Distributed Systems.
Frank Dederichs
Claus Dendorfer
Rainer Weber
Published in:
Parallel Computer Architectures (1993)
Keyphrases
</>
distributed systems
fault tolerant
similarity measure
distributed environment
operating system
load balancing
fault tolerance