ACM Computing Surveys

Posted By on in Uncategorized


Brijesh Dongol and John Derricks paper entitled “Verifying linearizability: A comparative survey” was accepted by ACM Computing Surveys.