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

zbMATH Keywords

\(\pi\)-calculusintuitionistic logicmodal logicbisimilarity

Mathematics Subject Classification ID

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

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)