Publisher
Springer International Publishing
Reference28 articles.
1. Lecture Notes in Computer Science;PA Abdulla,2016
2. Lecture Notes in Computer Science;T Abe,2017
3. Lecture Notes in Computer Science;T Abe,2016
4. Abe, T., Maeda, T.: Concurrent program logic for relaxed memory consistency models with dependencies across loop iterations. J. Inf. Process. 25, 244–255 (2017)
5. Adve, S.V., Gharachorloo, K.: Shared memory consistency models: a tutorial. Computer 29(12), 66–76 (1996)