@inproceedings{Tran_PSK_25,
    author           = {Kevin Tran and Johannes Åman Pohjola and Rob Sison and Gerwin Klein},
    booktitle        = {International Colloquium on Theoretical Aspects of Computing},
    pages            = {87--105},
    paperurl         = {https://trustworthy.systems/publications/papers/Tran_PSK_25.pdf},
    title            = {A Rely-Guarantee-Based Simulation for Cooperative Semantics},
    year             = {2026}
  }