Communication in concurrent dynamic logic

DOI10.1016/0022-0000(87)90035-3zbMath0632.68032OpenAlexW1991259963MaRDI QIDQ1095653

David Peleg

Publication date: 1987

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-0000(87)90035-3

zbMATH Keywords

communicationdecidabilityConcurrent dynamic logicExpressivenessreasoning about isolated concurrent programs

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Related Items

Bisimilar and logically equivalent programs in PDL with parallel operator, Concurrent Dynamic Algebra, Taming Multirelations, Kleisli, Parikh and Peleg compositions and liftings for multirelations, Bisimilar and logically equivalent programs in PDL, Concurrent program schemes and their logics, Propositional Dynamic Logic for Petri Nets with Iteration, A Propositional Dynamic Logic for Concurrent Programs Based on the π-Calculus, A Propositional Dynamic Logic for CCS Programs, A dynamic logic for deductive verification of multi-threaded programs, Parallel action: Concurrent dynamic logic with independent modalities, Tableaux for constructive concurrent dynamic logic, Propositional Dynamic Logic with Storing, Recovering and Parallel Composition, A Complete STIT Logic for Knowledge and Action, and Some of Its Applications, Towards reasoning about Petri nets: a propositional dynamic logic based approach, Constructive modal logics. I, Quantificational modal logic with sequential Kripke semantics, Dynamic epistemic logic with communication actions, Complexity analysis of propositional concurrent programs using domino tiling

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Propositional dynamic logic of nonregular programs
• Semantics of nondeterminism, concurrency, and communication
• A calculus of communicating systems
• Definability in dynamic logic
• Propositional dynamic logic of regular programs
• The correctness of nondeterministic programs
• Recurring Dominoes: Making the Highly Undecidable Highly Understandable
• Propositional dynamic logic of looping and converse is elementarily decidable
• Alternation and the computational complexity of logic programs
• A programming language for the inductive sets, and applications
• A Theory of Communicating Sequential Processes
• Concurrent dynamic logic
• And/Or Programs: A New Approach to Structured Programming
• A Proof System for Communicating Sequential Processes
• Alternation
• Communicating sequential processes
• Concurrent Processes and Their Syntax