Bisimilar and logically equivalent programs in PDL

DOI10.1016/J.ENTCS.2014.06.002MaRDI QIDQ281144zbMATH OpenOpenAlexWikidataFDO

Authors 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)

Recommendations

• Bisimilar and logically equivalent programs in PDL with parallel operator
• Modal logics for mobile processes
• Bisimulation and logic
• Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes
• A stochastic interpretation of propositional dynamic logic: expressivity

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 1412988 (Why is no real title available?)
• A Propositional Dynamic Logic for CCS Programs
• Communication in concurrent dynamic logic
• Concurrent dynamic logic
• Decidability of DPDA equivalence
• Deciding Properties of Nonregular Programs
• Handbook of process algebra
• Modal logic
• Modal logics for mobile processes
• On the decidability of process equivalences for the \(\pi\)-calculus
• Propositional dynamic logic of regular programs
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.

Cited in

(3)

• scientific article; zbMATH DE number 4039864 (Why is no real title available?)
• PDL is the bisimulation-invariant fragment of weak chain logic
• 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)