![](/img/cover-not-exists.png)
Using temporal logics for specifying weak memory consistency models
Senftleben, Maximilian, Schneider, KlausVolume:
8
Year:
2018
Journal:
International Journal of Critical Computer-Based Systems
DOI:
10.1504/ijccbs.2018.096187
File:
PDF, 448 KB
2018