References of "Ahn, Ki Yung"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailQuasi-Open Bisimilarity with Mismatch is Intuitionistic
Horne, Ross James UL; Ahn, Ki Yung; Lin, Shang-wei et al

in Proceedings of LICS '18: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, Oxford, United Kingdom, July 9-12, 2018 (LICS '18) (2018)

Quasi-open bisimilarity is the coarsest notion of bisimilarity for the π-calculus that is also a congruence. This work extends quasi-open bisimilarity to handle mismatch (guards with inequalities). This ... [more ▼]

Quasi-open bisimilarity is the coarsest notion of bisimilarity for the π-calculus that is also a congruence. This work extends quasi-open bisimilarity to handle mismatch (guards with inequalities). This minimal extension of quasi-open bisimilarity allows fresh names to be manufactured to provide constructive evidence that an inequality holds. The extension of quasi-open bisimilarity is canonical and robust --- coinciding with open barbed bisimilarity (an objective notion of bisimilarity congruence) and characterised by an intuitionistic variant of an established modal logic. The more famous open bisimilarity is also considered, for which the coarsest extension for handling mismatch is identified. Applications to checking privacy properties are highlighted. Examples and soundness results are mechanised using the proof assistant Abella. [less ▲]

Detailed reference viewed: 44 (1 UL)
Full Text
Peer Reviewed
See detailA Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic
Ahn, Ki Yung; Horne, Ross James UL; Tiu, Alwen

in 28th International Conference on Concurrency Theory (CONCUR 2017). (2017)

Detailed reference viewed: 16 (0 UL)