Title: Reactive system verification study--fault-tolerant transputer communication
Subjects: Fault-tolerant computing