28/04/2016: Brijesh and Robs paper entitled Decidability and Complexity for Quiescent Consistency was published at the 31st ACM/IEEE Symposium on Logic in Computer Science
Posted By on in Publications
28/04/2016: Brijesh and Robs paper entitled Decidability and Complexity for Quiescent Consistency was published at the 31st ACM/IEEE Symposium on Logic in Computer Science