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  - 2024/12/22

ER  -