A Proof Technique for Liveness Properties of Multifunction Composite Protocols.

Jun-Cheol Park, Raymond E. Miller

Browse the full ICNP paper archive.