Skip to Main content Skip to Navigation
New interface
Conference papers

Weak Nominal Modal Logic

Abstract : Previous work on nominal transition systems explores strong bisimulation and a general kind of Hennessy-Milner logic with infinite but finitely supported conjunction, showing that it is remarkably expressive. In the present paper we treat weak bisimulation and the corresponding weak Hennessy-Milner logic, where there is a special unobservable action. We prove that logical equivalence coincides with bisimilarity and explore a few variants of the logic. In this way we get a general framework for weak bisimulation and logic in which formalisms such as the pi-calculus and its many variants can be uniformly represented.
Complete list of metadata

Cited literature [26 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Thursday, December 7, 2017 - 3:48:57 PM
Last modification on : Thursday, December 7, 2017 - 3:50:48 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Joachim Parrow, Tjark Weber, Johannes Borgström, Lars-Henrik Eriksson. Weak Nominal Modal Logic. 37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.179-193, ⟨10.1007/978-3-319-60225-7_13⟩. ⟨hal-01658420⟩



Record views


Files downloads