TY - CONF T1 - Decidability and Complexity for Quiescent Consistency JO - Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science UR - https://doi.org/10.1145/2933575.2933576 PY - 2016/07/05 AU - Dongol B AU - Hierons RM ED - DO - DOI: 10.1145/2933575.2933576 PB - ACM SP - 116 EP - 125 Y2 - 2025/10/23 ER -