Browsing by Author Ahrn, Ki Yung
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) | |
---|---|---|---|
2017 | A characterisation of open bisimilarity using an intuitionistic modal logic | Ahrn, Ki Yung; Horne, Ross; Tiu, Alwen |
Issue Date | Title | Author(s) | |
---|---|---|---|
2017 | A characterisation of open bisimilarity using an intuitionistic modal logic | Ahrn, Ki Yung; Horne, Ross; Tiu, Alwen |