Communication in concurrent dynamic logic

DOI10.1016/0022-0000(87)90035-3MaRDI QIDQ1095653zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

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

Cited in

(22)

• Concurrent program schemes and their logics
• Kleisli, Parikh and Peleg compositions and liftings for multirelations
• Dynamic epistemic logic with communication actions
• Bisimilar and logically equivalent programs in PDL
• Quantificational modal logic with sequential Kripke semantics
• 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
• A propositional dynamic logic for concurrent programs based on the \(\pi\)-calculus
• Propositional dynamic logic with storing, recovering and parallel composition
• 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)