Author:
Ponce-de-León Hernán,Furbach Florian,Heljanko Keijo,Meyer Roland
Publisher
Springer International Publishing
Reference49 articles.
1. Lecture Notes in Computer Science;PA Abdulla,2015
2. Lecture Notes in Computer Science;PA Abdulla,2016
3. Alglave, J.: A Shared Memory Poetics. Thèse de doctorat, L’université Paris Denis Diderot (2010)
4. Alglave, J., Cousot, P., Maranget, L.: Syntax and semantics of the weak consistency model specification language CAT. CoRR (2016). abs/1608.07531
5. Alglave, J., Kroening, D., Nimal, V., Poetzl, D.: Don’t sit on the fence—a static analysis approach to automatic fence insertion. In: CAV, LNCS, vol. 8559, pp. 508–524. Springer, Vienna (2014)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献