Ahn, Ki Yung; Horne, Ross; Tiu, Alwen A characterisation of open bisimilarity using an intuitionistic modal logic. (English) Zbl 07407774 Log. Methods Comput. Sci. 17, No. 3, Paper No. 2, 40 p. (2021). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{K. Y. Ahn} et al., Log. Methods Comput. Sci. 17, No. 3, Paper No. 2, 40 p. (2021; Zbl 07407774) Full Text: arXiv Link
Horne, Ross; Tiu, Alwen Constructing weak simulations from linear implications for processes with private names. (English) Zbl 1447.68008 Math. Struct. Comput. Sci. 29, No. 8, 1275-1308 (2019). Reviewer: Martin Lange (Kassel) MSC: 68Q85 03B70 03F52 PDFBibTeX XMLCite \textit{R. Horne} and \textit{A. Tiu}, Math. Struct. Comput. Sci. 29, No. 8, 1275--1308 (2019; Zbl 1447.68008) Full Text: DOI
Ahn, Ki Yung; Horne, Ross; Tiu, Alwen A characterisation of open bisimilarity using an intuitionistic modal logic. (English) Zbl 1442.68121 Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 7, 17 p. (2017). MSC: 68Q85 03B45 PDFBibTeX XMLCite \textit{K. Y. Ahn} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 7, 17 p. (2017; Zbl 1442.68121) Full Text: DOI
Tiu, Alwen; Nguyen, Nam; Horne, Ross SPEC: an equivalence checker for security protocols. (English) Zbl 1483.68050 Igarashi, Atsushi (ed.), Programming languages and systems. 14th Asian symposium, APLAS 2016, Hanoi, Vietnam, November 21–23, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10017, 87-95 (2016). MSC: 68M25 68Q85 94A60 PDFBibTeX XMLCite \textit{A. Tiu} et al., Lect. Notes Comput. Sci. 10017, 87--95 (2016; Zbl 1483.68050) Full Text: DOI Link
Deng, Yuxin; Tiu, Alwen Characterisations of testing preorders for a finite probabilistic \(\pi\)-calculus. (English) Zbl 1259.68143 Formal Asp. Comput. 24, No. 4-6, 701-726 (2012). MSC: 68Q85 03B45 03B70 68Q55 PDFBibTeX XMLCite \textit{Y. Deng} and \textit{A. Tiu}, Formal Asp. Comput. 24, No. 4--6, 701--726 (2012; Zbl 1259.68143) Full Text: DOI arXiv Link
Tiu, Alwen On the role of names in reasoning about \(\lambda\)-tree syntax specifications. (English) Zbl 1337.68076 Abel, Andreas (ed.) et al., Proceedings of the 3rd international workshop on logical frameworks and metalanguages: theory and practice (LFMTP 2008), Pittsburgh, PA, USA, June 23, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 228, 135-150 (2009). MSC: 68N30 03B40 03B70 68Q85 PDFBibTeX XMLCite \textit{A. Tiu}, Electron. Notes Theor. Comput. Sci. 228, 135--150 (2009; Zbl 1337.68076) Full Text: DOI
Dawson, Jeremy E.; Tiu, Alwen Formalising observer theory for environment-sensitive bisimulation. (English) Zbl 1252.68251 Berghofer, Stefan (ed.) et al., Theorem proving in higher order logics. 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03358-2/pbk). Lecture Notes in Computer Science 5674, 180-195 (2009). MSC: 68T15 68M12 68Q85 03B25 03B35 PDFBibTeX XMLCite \textit{J. E. Dawson} and \textit{A. Tiu}, Lect. Notes Comput. Sci. 5674, 180--195 (2009; Zbl 1252.68251) Full Text: DOI