scientific article; zbMATH DE number 3624763
From MaRDI portal
Publication:4187288
zbMath0402.68010MaRDI QIDQ4187288
No author found.
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Classical propositional logic (03B05) Theory of operating systems (68N25)
Related Items (14)
Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition ⋮ A generalization of Owicki-Gries's Hoare logic for a concurrent while language ⋮ The equational theory of pomsets ⋮ Proving properties of dynamic process networks ⋮ Refining multiset transformers ⋮ Exponential-Size Model Property for PDL with Separating Parallel Composition ⋮ Towards a foundation for semantics in complete metric spaces ⋮ A logical view of composition ⋮ Synchronous Kleene algebra ⋮ Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition ⋮ Semantics of algorithmic languages ⋮ Propositional dynamic logic for concurrent programs ⋮ The temporal logic of branching time ⋮ \(\Pi_ 1^ 1\)-universality of some propositional logics of concurrent programs
This page was built for publication:
