Publication:3680251
From MaRDI portal
zbMath0565.68016MaRDI QIDQ3680251
Publication date: 1985
operational semantics; concurrency; Generalized Hoare Logic; Owicki's parallel rule; programming constructs; semantic properties of commands; simple parallel programming language; Transition Logic
Related Items
Mechanised wire-wise verification of Handel-C synthesis, A compositional proof system on a category of labelled transition systems