Home » Uncategorized » 28/04/2016: Brijesh and Rob published a paper

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

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