Browsing by Author Tiu, Alwen
Showing results 1 to 4 of 4
| Issue Date | Title | Author(s) | |
|---|---|---|---|
 | 2017 | A characterisation of open bisimilarity using an intuitionistic modal logic | Ahrn, Ki Yung; Horne, Ross; Tiu, Alwen |
| 2015 | A labelled sequent calculus for BBI : proof theory and proof search | Hóu, Zhé; Goré, Rajeev; 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 |