Henk Schepers, Jozef Hooman. Trace-Based Compositional Reasoning about Fault Tolerant Systems. In Arndt Bode, Mike Reeve, Gottfried Wolf, editors, PARLE 93, Parallel Architectures and Languages Europe, 5th International PARLE Conference, Munich, Germany, June 14-17, 1993, Proceedings. Volume 694 of Lecture Notes in Computer Science, pages 197-208, Springer, 1993.
Abstract is missing.