Henk Schepers, Jozef Hooman. A Trace-Based Compositional Proof Theory for Fault Tolerant Distributed Systems. Theoretical Computer Science, 128(1&2):127-157, 1994.
@article{SchepersH94,
title = {A Trace-Based Compositional Proof Theory for Fault Tolerant Distributed Systems},
author = {Henk Schepers and Jozef Hooman},
year = {1994},
tags = {rule-based, composition},
researchr = {https://researchr.org/publication/SchepersH94},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {128},
number = {1&2},
pages = {127-157},
}