# Lazy sequentialization for TSO and PSO via shared memory abstractions

> Research article (2016 Formal Methods in Computer-Aided Design (FMCAD), 2016) · cited 23× · AI/ML

**Wikidata**: [openalex:W4235848117](https://www.wikidata.org/wiki/openalex:W4235848117)  
**Source**: https://4ort.xyz/entity/lazy-sequentialization-for-tso-and-pso-via-shared-memory-abstractions