|
ComputingReviews.com
|
Decidability and complexity for quiescent consistency Dongol B., Hierons R. LICS 2016 (Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, New York, NY, Jul 5-8, 2016)116-125,2016.Type:Proceedings |
|
|
|
|
|
|
|
|
Use your personal or institutional subscription to read the fulltext of the article.
|
|
|
|
|
|
|
|
|
|
|
|