Title: Fault tolerance using communicating sequential processes
First published: 1983
Subjects: Fault-tolerant computing
LC classification: QA76 .I4 no. 1149, QA76.9.F38 .I4 no. 1149