A Trace-Based Compositional Proof Theory for Fault Tolerant Distributed Systems.

Henk Schepers Jozef Hooman A Trace-Based Compositional Proof Theory for Fault Tolerant Distributed Systems. 127-157 1994 128 Theor. Comput. Sci. 1&2 db/journals/tcs/tcs128.html#SchepersH94