Propositional Dynamic Logic for Message-Passing Systems

DOI10.2168/LMCS-6(3:16)2010zbMath1201.03016MaRDI QIDQ2786133

Benedikt Bollig, Ingmar Meinecke, Dietrich Kuske

Publication date: 21 September 2010

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

message sequence chartspropositional dynamic logiccommunicating finite-state machines

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) Temporal logic (03B44)

Related Items

Communicating Finite-State Machines and Two-Variable Logic, Unnamed Item, Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic, Temporal logics for concurrent recursive programs: satisfiability and model checking, Unnamed Item