Browsing by Author Ahrn, Ki Yung

Showing results 1 to 1 of 1
Issue DateTitleAuthor(s)
2017A characterisation of open bisimilarity using an intuitionistic modal logicAhrn, Ki Yung; Horne, Ross; Tiu, Alwen