Posts by admin


ACM Computing Surveys


Posted By on Jun 24, 2015 in Uncategorized

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