Publication:3657408
From MaRDI portal
zbMath0512.68011MaRDI QIDQ3657408
Publication date: 1983
guarded commands; assertional proofs; parallel operator; formal syntax; atomic action feature; execution sequence; formal relational semantics; Owicki-Gries proof method; sequential non- deterministic semantics
68Q60: Specification and verification (program logics, model checking, etc.)
68N25: Theory of operating systems
Related Items
Fairness and conspiracies, An investigation of controls for concurrent systems based on abstract control languages, Sequential and concurrent behaviour in Petri net theory, The weakest precondition calculus: Recursion and duality