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

DOI10.1093/logcom/exu001zbMath1303.03067OpenAlexW2165678590MaRDI QIDQ2937698

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

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

completenessdynamic logicKripke semanticsconcurrencyaxiomatization

Mathematics Subject Classification ID

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

Related Items (2)

Bisimilar and logically equivalent programs in PDL with parallel operator ⋮ A Propositional Dynamic Logic for Concurrent Programs Based on the π-Calculus

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