D. Francis Crane

• Reactive system verification study--fault-tolerant transputer communication
• Rective system verification study--fault-tolerant transputer communication