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