Semantics and verification of monitors and systems of monitors and processes

DOI10.1007/BF01872845zbMath0659.68022MaRDI QIDQ1112588

Stein Gjessing

Publication date: 1988

Published in: Distributed Computing (Search for Journal in Brave)

zbMATH Keywords

axiomatic semanticsproof rulemonitor semanticsspecification of monitorssystems of concurrent processes

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25)

Related Items (2)

Semantics and verification of monitors and systems of monitors and processes ⋮ Stability properties of stochastic partial differential equations

Cites Work

• Unnamed Item
• Semantics and verification of monitors and systems of monitors and processes
• Proof of correctness of data representations
• Axiomatic semantics of communicating sequential processes
• A Proof System for Communicating Sequential Processes
• Ten Years of Hoare's Logic: A Survey—Part I
• Proving Liveness Properties of Concurrent Programs
• Monitors
• Proving monitors
• Soundness and Completeness of an Axiom System for Program Verification
• An axiomatic basis for computer programming

This page was built for publication: Semantics and verification of monitors and systems of monitors and processes