zbMath0565.68016MaRDI QIDQ3680251
Stephen Brookes
Publication date: 1985
zbMATH Keywords
operational semantics; concurrency; Generalized Hoare Logic; Owicki's parallel rule; programming constructs; semantic properties of commands; simple parallel programming language; Transition Logic
Mathematics Subject Classification ID
68N01: General topics in the theory of software
68N25: Theory of operating systems
Related Items