@inproceedings{inproceedings, title = {{Decidability and Complexity for Quiescent Consistency}}, publisher = {{ACM}}, url = {{https://doi.org/10.1145/2933575.2933576 }}, year = {{2016}}, month = {{7}}, author = {{Dongol B and Hierons RM}}, doi = {{10.1145/2933575.2933576}}, journal = {{Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science}}, pages = {{116-125}}, note = {{Accessed on 2025/11/05}}}