@misc{indiciae8b3e4a6aaade,
  title = {Owicki--Gries Logic for Timestamp Semantics},
  author = {Tatsuya Abe},
  year = {2026},
  url = {https://arxiv.org/abs/2505.15053},
  note = {Source identifier: 2505.15053}
}