A Propositional Dynamic Logic for CCS Programs

DOI10.1007/978-3-540-69937-8_9MaRDI QIDQ3511450zbMATH OpenOpenAlexFDO

Authors Mario Benevides, L. Menasché Schechter

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)

Recommendations

• Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator
• A propositional dynamic logic for concurrent programs based on the -calculus
• Propositional dynamic logic for Petri nets
• Concurrent dynamic logic
• Bisimilar and logically equivalent programs in PDL with parallel operator

Cites work

• Communication in concurrent dynamic logic
• Concurrent dynamic logic
• Decidability of DPDA equivalence
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)

Cited in

(15)

• A logic for the specification and proof of regular controllable processes of CCS
• Communication in concurrent dynamic logic
• Towards reasoning about Petri nets: a propositional dynamic logic based approach
• Dynamic epistemic logic with communication actions
• Bisimilar and logically equivalent programs in PDL with parallel operator
• Bisimilar and logically equivalent programs in PDL
• Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator
• Propositional dynamic logic for Petri nets with iteration
• A propositional dynamic logic for concurrent programs based on the -calculus
• scientific article; zbMATH DE number 3930336 (Why is no real title available?)
• scientific article; zbMATH DE number 4085007 (Why is no real title available?)
• scientific article; zbMATH DE number 1231669 (Why is no real title available?)
• Propositional dynamic logic for Petri nets
• Propositional dynamic logic with storing, recovering and parallel composition
• A dynamic logic with branching modalities

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

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