Weak Nominal Modal Logic - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2017

Weak Nominal Modal Logic

Joachim Parrow
  • Fonction : Auteur
  • PersonId : 1024702
Tjark Weber
  • Fonction : Auteur

Résumé

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.
Fichier principal
Vignette du fichier
446833_1_En_13_Chapter.pdf (231.66 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01658420 , version 1 (07-12-2017)

Licence

Identifiants

Citer

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⟩
73 Consultations
105 Téléchargements

Altmetric

Partager

More