# Hoare-style specifications as correctness conditions for non-linearizable concurrent objects

> Research article (Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, 2016) · cited 13× · AI/ML

**Wikidata**: [openalex:W2207337040](https://www.wikidata.org/wiki/openalex:W2207337040)  
**Source**: https://4ort.xyz/entity/hoare-style-specifications-as-correctness-conditions-for-non-linearizable-concurrent-objects