Modal logics for mobile processes revisited

DOI10.4230/LIPICS.CONCUR.2023.34MaRDI QIDQ6967312zbMATH OpenFDO

Authors Tiange Liu, Alwen Tiu, Jim de Groot

Publication date 26 June 2025

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

\(\pi\)-calculusbisimilarityintuitionistic logicmodal logic

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• A calculus of communicating systems
• A calculus of mobile processes. II
• A characterisation of open bisimilarity using an intuitionistic modal logic
• A characterisation of open bisimilarity using an intuitionistic modal logic
• A logical characterisation of static equivalence
• A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract
• Algebraic laws for nondeterminism and concurrency
• Discovering ePassport vulnerabilities using bisimilarity
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 1231616 (Why is no real title available?)
• scientific article; zbMATH DE number 1251177 (Why is no real title available?)
• scientific article; zbMATH DE number 1863170 (Why is no real title available?)
• Modal logics for cryptographic processes
• Modal logics for mobile processes
• Modal logics for nominal transition systems
• On bisimulations for the spi calculus
• Proof search specifications of bisimulation and modal logics for the \({\pi}\)-calculus
• Quasi-open bisimilarity with mismatch is intuitionistic
• The Applied Pi Calculus

Cited in

(2)

• Logical characterization of branching bisimilarity over random processes
• Open bisimilarity for the -calculus with mismatch

This page was built for publication: Modal logics for mobile processes revisited

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