Browsing by Author Tiu, Alwen

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