A Propositional Dynamic Logic for CCS Programs

DOI10.1007/978-3-540-69937-8_9zbMath1156.03031OpenAlexW1524056723MaRDI QIDQ3511450

L. Menasché Schechter, Mario R. F. Benevides

Publication date: 10 July 2008

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-69937-8_9

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (8)

Bisimilar and logically equivalent programs in PDL with parallel operator ⋮ Bisimilar and logically equivalent programs in PDL ⋮ Propositional Dynamic Logic for Petri Nets with Iteration ⋮ A Propositional Dynamic Logic for Concurrent Programs Based on the π-Calculus ⋮ A dynamic logic with branching modalities ⋮ Propositional Dynamic Logic with Storing, Recovering and Parallel Composition ⋮ Towards reasoning about Petri nets: a propositional dynamic logic based approach ⋮ Dynamic epistemic logic with communication actions

Cites Work

• Communication in concurrent dynamic logic
• Concurrent dynamic logic
• Decidability of DPDA equivalence
• Unnamed Item
• Unnamed Item

This page was built for publication: A Propositional Dynamic Logic for CCS Programs