Safety of a Session Guarantees Protocol Using Plausible Clocks.

Jerzy Brzezinski, Michal Kalewski, Cezary Sobaniec

Browse the full PPAM paper archive.