Extending the theory of Owicki and Gries with a logic of progress
From MaRDI portal
Publication:5310653
DOI10.2168/LMCS-2(1:6)2006zbMath1126.03036MaRDI QIDQ5310653
Publication date: 11 October 2007
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Streamlining progress-based derivations of concurrent programs, Invariant-based reasoning about parameterized security protocols