A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic.

Ki Yung Ahn, Ross Horne, Alwen Tiu

Browse the full CONCUR paper archive.