scientific article
From MaRDI portal
Publication:3657408
zbMath0512.68011MaRDI QIDQ3657408
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
guarded commandsassertional proofsparallel operatorformal syntaxatomic action featureexecution sequenceformal relational semanticsOwicki-Gries proof methodsequential non- deterministic semantics
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Related Items
The weakest precondition calculus: Recursion and duality, Sequential and concurrent behaviour in Petri net theory, An investigation of controls for concurrent systems based on abstract control languages, Fairness and conspiracies
