A Trace-Based Compositional Proof Theory for Fault Tolerant Distributed Systems (1993)

Cached

Download Links

by Henk Schepers , Jozef Hooman
Citations:4 - 0 self