A predicate transformer for the progress property `to-always'
From MaRDI portal
Publication:1377323
DOI10.1007/BF01211085zbMath0887.68036MaRDI QIDQ1377323
Rutger M. Dijkstra, Beverly A. Sanders
Publication date: 25 May 1998
Published in: Formal Aspects of Computing (Search for Journal in Brave)
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68N99: Theory of software
Uses Software
Cites Work