Browsing by Author Tiu, Alwen

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