Stepwise transformations for fault-tolerant design of CCS processes.

Tomasz Janowski

Published in: FORTE (1994)

Keyphrases

fault tolerant
fault tolerance
distributed systems
evolvable hardware
load balancing
case study
fine grained
safety critical
fault isolation
high assurance