# Read atomic transactions with prevention of lost updates: ROLA and its formal analysis

> Research article (Formal Aspects of Computing, 2019) · cited 18× · AI/ML

**Wikidata**: [openalex:W2901599465](https://www.wikidata.org/wiki/openalex:W2901599465)  
**Source**: https://4ort.xyz/entity/read-atomic-transactions-with-prevention-of-lost-updates-rola-and-its-formal-analysis