TY - CONF T1 - Decidability and Complexity for Quiescent Consistency JO - Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 PY - 2016/07/05 AU - Dongol B AU - Hierons RM ED - DO - DOI: 10.1145/2933575.2933576 PB - ACM Press SN - 9781450343916 Y2 - 2025/06/17 ER -