28/04/2016: Brijesh and Rob published a paper

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