Modal logics for nominal transition systems

DOI10.4230/LIPICS.CONCUR.2015.198MaRDI QIDQ5357704zbMATH OpenFDO

Authors Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramūnas Gutkovas, Tjark Weber

Publication date 12 September 2017

Full work available at URL https://doi.org/10.4230/LIPICS.CONCUR.2015.198

zbMATH Keywords

bisimulationmodal logicnominal setsprocess algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Modal logics for nominal transition systems
• Weak nominal modal logic
• Formalising the pi-calculus using nominal logic
• Rule formats for nominal process calculi
• Modal Logic, Transition Systems and Processes

Cited in

(17)

• Distinguishing between communicating transactions
• Pure modal logic of names and tableau systems
• A curry-style semantics of interaction: from untyped to second-order lazy -calculus
• A unified rule format for bounded nondeterminism in SOS with terms as labels
• Multi labelled transition systems: a semantic framework for nominal calculi
• Proof search specifications of bisimulation and modal logics for the \({\pi}\)-calculus
• A Modal Logic for Full LOTOS based on Symbolic Transition Systems
• Rule formats for nominal process calculi
• scientific article; zbMATH DE number 7136664 (Why is no real title available?)
• Trace equivalence and epistemic logic to express security properties
• Weak nominal modal logic
• A characterisation of open bisimilarity using an intuitionistic modal logic
• Rule formats for nominal process calculi
• Multiple-Labelled Transition Systems for nominal calculi and their logics
• Foundations of Software Science and Computational Structures
• Modal logics for nominal transition systems
• Lang-n-Send Extended: Sending Regular Expressions to Monitors

Describes a project that uses

Uses Software

• Isabelle/HOL
• Nominal Isabelle
• CC-Pi

This page was built for publication: Modal logics for nominal transition systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5357704)