# Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris

> Research article (DROPS (Schloss Dagstuhl – Leibniz Center for Informatics), 2017) · cited 78× · AI/ML

**Wikidata**: [openalex:W2727429054](https://www.wikidata.org/wiki/openalex:W2727429054)  
**Source**: https://4ort.xyz/entity/strong-logic-for-weak-memory-reasoning-about-release-acquire-consistency-in-iris