Browsing by Author Tiu, Alwen
Showing results 1 to 3 of 3
| Issue Date | Title | Author(s) | |
|---|---|---|---|
 | 2017 | A characterisation of open bisimilarity using an intuitionistic modal logic | Ahrn, Ki Yung; Horne, Ross; Tiu, Alwen |
| 2016 | Private Names in Non-Commutative Logic | Horne, Ross; Tiu, Alwen; Aman, Bogdan; Ciobanu, Gabriel |
| 2016 | Semantics for Specialising Attack Trees based on Linear Logic | Horne, Ross; Mauw, Sjouke; Tiu, Alwen |