Bisimilar and logically equivalent programs in PDL

DOI10.1016/j.entcs.2014.06.002zbMath1335.68045OpenAlexW1981837807WikidataQ113317873 ScholiaQ113317873MaRDI QIDQ281144

Mario R. F. 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) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Bisimilar and logically equivalent programs in PDL with parallel operator

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modal logics for mobile processes
• Communication in concurrent dynamic logic
• Propositional dynamic logic of regular programs
• On the decidability of process equivalences for the \(\pi\)-calculus
• Deciding Properties of Nonregular Programs
• A Propositional Dynamic Logic for CCS Programs
• Concurrent dynamic logic
• Decidability of DPDA equivalence

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