Communication in concurrent dynamic logic

DOI10.1016/0022-0000(87)90035-3zbMATH Open0632.68032OpenAlexW1991259963MaRDI QIDQ1095653FDOQ1095653

Authors: 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

Recommendations

• Concurrent dynamic logic
• A propositional dynamic logic for concurrent programs based on the \(\pi\)-calculus
• Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator
• Dynamic epistemic logic with communication actions
• A Propositional Dynamic Logic for CCS Programs

zbMATH Keywords

communicationdecidabilityConcurrent dynamic logicExpressivenessreasoning about isolated concurrent programs

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (22)

• Concurrent program schemes and their logics
• Kleisli, Parikh and Peleg compositions and liftings for multirelations
• Dynamic epistemic logic with communication actions
• Quantificational modal logic with sequential Kripke semantics
• Bisimilar and logically equivalent programs in PDL
• Complexity analysis of propositional concurrent programs using domino tiling
• Concurrent dynamic algebra
• Taming multirelations
• Endowing concurrent Kleene algebra with communication actions
• Bisimilar and logically equivalent programs in PDL with parallel operator
• Parallel action: Concurrent dynamic logic with independent modalities
• Tableaux for constructive concurrent dynamic logic
• A dynamic logic for deductive verification of multi-threaded programs
• Propositional dynamic logic for Petri nets with iteration
• Towards reasoning about Petri nets: a propositional dynamic logic based approach
• Constructive modal logics. I
• A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
• Semantics of communication in simple multimodular programs
• Propositional dynamic logic with storing, recovering and parallel composition
• A propositional dynamic logic for concurrent programs based on the \(\pi\)-calculus
• A Propositional Dynamic Logic for CCS Programs
• Concurrent dynamic logic

This page was built for publication: Communication in concurrent dynamic logic

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