@inproceedings{Predicates:SCCP2026,
  author = {Wei, Hengfeng and Liu, Si and Chen, Yuxing},
  title = {Specifying and Analyzing Transactional Consistency Models with Predicates (Extended Abstract)},
  booktitle = {The 1st Symposium on Consistency Checking Principles (SCCP 2026), co-located with VLDB 2026},
  year = {2026}
}