Horne, Ross James ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Tiu, Alwen
External co-authors :
yes
Language :
English
Title :
A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic
Publication date :
2017
Event name :
28th International Conference on Concurrency Theory (CONCUR 2017).
Event date :
September 5-8, 2017
Main work title :
28th International Conference on Concurrency Theory (CONCUR 2017).
Ki Yung Ahn, Ross Horne, and Alwen Tiu. Generating witness of non-bisimilarity for the pi-calculus. CoRR, abs/1705.10908, 2017. URL: http://arxiv.org/abs/1705.10908.
David Baelde, Kaustuv Chaudhuri, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu, and Yuting Wang. Abella: A system for reasoning about relational specifications. Journal of Formalized Reasoning, 7(2):1-89, 2014. doi:10.6092/issn.1972-5787/4650.
David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, and Alwen Tiu. The Bedwyr System for Model Checking over Syntactic Expressions, pages 391-397. Springer Berlin Heidelberg, 2007. doi:10.1007/978-3-540-73595-3-28.
Andrew Gacek, Dale Miller, and Gopalan Nadathur. A two-level logic approach to reasoning about computations. Journal of Automated Reasoning, 49(2):241-273, 2012. doi:10.1007/ s10817-011-9218-1.
Maciej Gazda and Wan Fokkink. Modal logic and the approximation induction principle. Mathematical Structures in Computer Science, 22(2):175-201, 2012. doi:10.1017/ S0960129511000387.
Matthew Hennessy and Robin Milner. Algebraic laws for nondeterminism and concurrency. Journal of the ACM, 32(1):137-161, 1985. doi:10.1145/2455.2460.
Dexter Kozen. Results on the propositional mu-calculus. Theoretical Computer Science, 27(3):333-354, 1983. doi:10.1016/0304-3975(82)90125-6.
Robin Milner, Joachim Parrow, and David Walker. A calculus of mobile processes, Parts I and II. Information and Computation, 100(1):1-77, 1992. doi:10.1016/0890-5401(92) 90008-4.
Robin Milner, Joachim Parrow, and David Walker. Modal logics for mobile processes. Theoretical Computer Science, 114(1):149-171, 1993. doi:10.1016/0304-3975(93)90156-N.
Ugo Montanari and Vladimiro Sassone. Dynamic congruence vs. progressing bisimulation for CCS. Fundamenta informaticae, 16(2), 1992.
Gopalan Nadathur and Dale Miller. An Overview of λProlog. In Fifth International Logic Programming Conference. MIT Press, 1988.
Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramunas Gutkovas, and Tjark Weber. Modal logics for nominal transition systems. In CONCUR 2015, volume 42 of LIPIcs, pages 198-211, 2015. doi:10.4230/LIPIcs.CONCUR.2015.198.
Davide Sangiorgi. A theory of bisimulation for the π-calculus. Acta Informatica, 33(1):69-97, 1996. doi:10.1007/s002360050036.
Alex K. Simpson. The proof theory and semantics of intuitionistic modal logic. PhD thesis, University of Edinburgh, UK, 1994.
Alwen Tiu and Jeremy Dawson. Automating open bisimulation checking for the spi calculus. In Computer Security Foundations Symposium (CSF), 2010 23rd IEEE, pages 307-321. IEEE, 2010. doi:10.1109/CSF.2010.28.
Alwen Tiu and Dale Miller. Proof search specifications of bisimulation and modal logics for the π-calculus. ACM Transactions on Computational Logic, 11(2):13:1-13:35, 2010. doi:10.1145/1656242.1656248.
