Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator

DOI10.1093/LOGCOM/EXU001MaRDI QIDQ2937698zbMATH OpenOpenAlexFDO

Authors Mario Benevides, L. Menasché Schechter

Publication date 12 January 2015

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/ed7a1d4be775c2184bbcc899975ecf9c9c1141cc

zbMATH Keywords

axiomatizationcompletenessconcurrencydynamic logicKripke semantics

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A Propositional Dynamic Logic for CCS Programs
• A propositional dynamic logic for concurrent programs based on the -calculus
• Parallel action: Concurrent dynamic logic with independent modalities
• Propositional dynamic logic with storing, recovering and parallel composition
• Concurrent dynamic logic

Cited in

(8)

• Communication in concurrent dynamic logic
• Parallel action: Concurrent dynamic logic with independent modalities
• Bisimilar and logically equivalent programs in PDL with parallel operator
• A propositional dynamic logic for concurrent programs based on the -calculus
• A Propositional Dynamic Logic for CCS Programs
• Simple dynamic logic with parallel composition and applications to planning
• Towards determinism in PDL: relations and proof theory
• Adding concurrency to quantum dynamic logic

This page was built for publication: Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator

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