@inproceedings{DongolSchellhornWehrheim2023,
  author    = {Brijesh Dongol and Gerhard Schellhorn and Heike Wehrheim},
  title     = {Weak progressive forward simulation is necessary and sufficient for strong observational refinement},
  booktitle = {33rd International Conference on Concurrency Theory (CONCUR 2022), September 12-16, 2022, Warsaw, Poland},
  editor    = {Bartek Klin and Sławomir Lasota and Anca Muscholl},
  pages     = {31:1 -- 31:23},
  doi       = {10.4230/LIPIcs.CONCUR.2022.31},
  year      = {2023},
}