Analysis of May-Happen-in-Parallel in Concurrent Objects.

Elvira Albert, Antonio Flores-Montoya, Samir Genaim

Browse the full FORTE paper archive.