@inproceedings{CONCUR17,
  author        = {Ki Yung Ahn and Ross Horne and Alwen Tiu},
  title         = {A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic},
  booktitle     = {28th International Conference on Concurrency Theory (CONCUR 2017).},
  editor        = {Roland Meyer and Uwe Nestmann},
  pages         = {7:1-7:17},
  volume        = {85},
  url           = {https://drops.dagstuhl.de/opus/volltexte/2017/7789/},
  series        = {Leibniz International Proceedings in Informatics},
  doi           = {10.4230/LIPIcs.CONCUR.2017.7},
  year          = {2017}
}