Skip to Main content Skip to Navigation
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

https://hal.inria.fr/hal-01658420
Contributor : Hal Ifip <>
Submitted on : Thursday, December 7, 2017 - 3:48:57 PM
Last modification on : Thursday, December 7, 2017 - 3:50:48 PM

File

446833_1_En_13_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

99

Files downloads

56