Computer-Assisted Verification of an Algorithm for Concurrent Timestamps.

Tsvetomir P. Petrov, Anna Pogosyants, Stephen J. Garland, Victor Luchangco, Nancy A. Lynch

Browse the full FORTE paper archive.