scientific article; zbMATH DE number 3624763

MaRDI QIDQ4187288zbMATH OpenFDO

Authors

Publication date 1979

zbMATH Keywords

Modal Logic of Concurrent Nondeterministic Programs

Mathematics Subject Classification ID

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

Cited in

(15)

• A generalization of Owicki-Gries's Hoare logic for a concurrent while language
• The equational theory of pomsets
• Refining multiset transformers
• Towards a foundation for semantics in complete metric spaces
• \(\Pi_ 1^ 1\)-universality of some propositional logics of concurrent programs
• Proving properties of dynamic process networks
• Propositional dynamic logic for concurrent programs
• Complexity optimal decision procedure for a propositional dynamic logic with parallel composition
• Exponential-size model property for PDL with separating parallel composition
• Tableaux methods for propositional dynamic logics with separating parallel composition
• A logical view of composition
• Synchronous Kleene algebra
• ConcurrentHOL
• Semantics of algorithmic languages
• The temporal logic of branching time

This page was built for publication:

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