Maximilian Senftleben, Klaus Schneider 0001. Specifying Weak Memory Consistency with Temporal Logic. In Mohamed Ghazel, Mohamed Jmaiel, editors, Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, Tunis, Tunisia, October 6-7, 2016. Volume 1689 of CEUR Workshop Proceedings, pages 107-122, CEUR-WS.org, 2016. [doi]
Abstract is missing.