Checking Opacity and Durable Opacity with FDR.

Brijesh Dongol, Jay Le-Papin

Browse the full SEFM paper archive.