- Specification's authors: Murat Demirbas
- Original paper: Demirbas, Murat, et al. Logical Physical Clocks and Consistent Snapshots in Globally Distributed Databases. (2014).
- Extended modules: Int
- Computation models: no faults
- Some properties checked with TLC: termination, Boundedl, Boundedc, Sync
- TLA+ files