Contextual Trace Refinement for Concurrent Objects: Safety and Progress.

Brijesh Dongol, Lindsay Groves

Browse the full ICFEM paper archive.