Concurrent dynamic logic

DOI10.1145/23005.23008zbMath0645.03021OpenAlexW2059396299MaRDI QIDQ3787981

David Peleg

Publication date: 1987

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/23005.23008

zbMATH Keywords

concurrent programsconcurrencyConcurrent dynamic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25)

Related Items (47)

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 ⋮ Constructive Game Logic ⋮ A dynamic logic of action ⋮ Composing models ⋮ Concurrent program schemes and their logics ⋮ Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition ⋮ Communication in concurrent dynamic logic ⋮ Propositional Dynamic Logic for Petri Nets with Iteration ⋮ The complexity of PDL with interleaving ⋮ A Propositional Dynamic Logic for Concurrent Programs Based on the π-Calculus ⋮ Propositional dynamic logic with quantification over regular computation sequences ⋮ A Relation-Algebraic Approach to Multirelations and Predicate Transformers ⋮ Exponential-Size Model Property for PDL with Separating Parallel Composition ⋮ Generating Posets Beyond N ⋮ Relations into algebras of probabilistic distributions ⋮ A genetically modified Hoare logic ⋮ A Propositional Dynamic Logic for CCS Programs ⋮ Unnamed Item ⋮ A dynamic deontic logic for complex contracts ⋮ Determinism and looping in combinatory PDL ⋮ A dynamic logic for deductive verification of multi-threaded programs ⋮ Hoare Semigroups ⋮ An algebraic approach to multirelations and their properties ⋮ Resource separation in dynamic logic of propositional assignments ⋮ Parallel action: Concurrent dynamic logic with independent modalities ⋮ A type reduction from proof-conditional to dynamic semantics ⋮ Tableaux for constructive concurrent dynamic logic ⋮ Propositional Dynamic Logic with Storing, Recovering and Parallel Composition ⋮ On strictly arithmetical completeness in logics of programs ⋮ Models and logics for true concurrency. ⋮ Towards reasoning about Petri nets: a propositional dynamic logic based approach ⋮ Predicate liftings and functor presentations in coalgebraic expression languages ⋮ Quasipolynomial computation of nested fixpoints ⋮ Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition ⋮ Constructive modal logics. I ⋮ Modelling simultaneous games in dynamic logic ⋮ REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION ⋮ Quantificational modal logic with sequential Kripke semantics ⋮ A propositional dynamic logic for instantial neighborhood semantics ⋮ NP reasoning in the monotone \(\mu\)-calculus ⋮ A semantics and a logic for \textit{Fuzzy Arden Syntax} ⋮ Complexity analysis of propositional concurrent programs using domino tiling ⋮ An essay in combinatory dynamic logic

This page was built for publication: Concurrent dynamic logic