@article{LMCS21,
  journal       = {Logical Methods in Computer Science},
  year          = {2021},
  volume        = {17},
  number        = {3},
  pages         = {2:1–2:40},
  title         = {A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic},
  author        = {Ahn, Ki Yung and Horne, Ross and Tiu, Alwen},
  doi           = {https://doi.org/10.46298/lmcs-17(3:2)2021},
  url           = {https://lmcs.episciences.org/7685/pdf}
}