A predicate transformer for the progress property `to-always'

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)

zbMATH Keywords

concurrent programs

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of software (68N99)

Related Items (1)

UNITY and Büchi automata

Uses Software

• UNITY

Cites Work

• Eliminating the substitution axiom from UNITY logic
• A predicate transformer for progress
• Predicate transformers for reasoning about concurrent computation
• Unnamed Item
• Unnamed Item

This page was built for publication: A predicate transformer for the progress property `to-always'