> Detailanzeige

Parrow, Joachim [Verfasser:in]; Borgström, Johannes [Verfasser:in]; Eriksson, Lars-Henrik [Verfasser:in]; Gutkovas, Ramunas [Verfasser:in]; Weber, Tjark [Verfasser:in] ; Joachim Parrow and Johannes Borgström and Lars-Henrik Eriksson and Ramunas Gutkovas and Tjark Weber [Mitwirkende:r]

Modal Logics for Nominal Transition Systems

Literatur-
verwaltung

Zur
Merkliste

Lösche von
Merkliste

Per Whatsapp teilen

Schließen

Merkliste



Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
  • Medientyp: Sonstige Veröffentlichung; E-Artikel; Elektronischer Konferenzbericht
  • Titel: Modal Logics for Nominal Transition Systems
  • Beteiligte: Parrow, Joachim [Verfasser:in]; Borgström, Johannes [Verfasser:in]; Eriksson, Lars-Henrik [Verfasser:in]; Gutkovas, Ramunas [Verfasser:in]; Weber, Tjark [Verfasser:in]
  • Erschienen: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
  • Sprache: Englisch
  • DOI: https://doi.org/10.4230/LIPIcs.CONCUR.2015.198
  • Schlagwörter: bisimulation ; Process algebra ; nominal sets ; modal logic
  • Entstehung:
  • Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Beschreibung: We define a uniform semantic substrate for a wide variety of process calculi where states and action labels can be from arbitrary nominal sets. A Hennessy-Milner logic for these systems is introduced, and proved adequate for bisimulation equivalence. A main novelty is the use of finitely supported infinite conjunctions. We show how to treat different bisimulation variants such as early, late and open in a systematic way, and make substantial comparisons with related work. The main definitions and theorems have been formalized in Nominal Isabelle.
  • Zugangsstatus: Freier Zugang