Explorations on the formal frontier of distributed system design.

Martin S. Feather

Published in: KBSE (1992)

Keyphrases

distributed systems
distributed environment
fault tolerant
software architecture
design process
fault tolerance
user interface
distributed computing
operating system
geographically distributed
mobile agents
load balancing
software projects