Bisimilar and logically equivalent programs in PDL

DOI10.1016/J.ENTCS.2014.06.002zbMATH Open1335.68045OpenAlexW1981837807WikidataQ113317873 ScholiaQ113317873MaRDI QIDQ281144FDOQ281144

Mario Benevides

Publication date: 10 May 2016

Full work available at URL: https://doi.org/10.1016/j.entcs.2014.06.002

zbMATH Keywords

modal logicbisimulationpropositional dynamic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modal logic
• Propositional dynamic logic of regular programs
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
• Modal logics for mobile processes
• Communication in concurrent dynamic logic
• On the decidability of process equivalences for the \(\pi\)-calculus
• Handbook of process algebra
• Deciding Properties of Nonregular Programs
• A Propositional Dynamic Logic for CCS Programs
• Concurrent dynamic logic
• Decidability of DPDA equivalence

Cited In (1)

• Bisimilar and logically equivalent programs in PDL with parallel operator

This page was built for publication: Bisimilar and logically equivalent programs in PDL

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