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

Posted By admin on Apr 28, 2016 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