✦ LIBER ✦

A predicate transformer for the progress property ‘to-always’

✍ Scribed by Rutger M. Dijkstra; Beverly A. Sanders

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

General predicate transformer and the se

✍ Jifeng He 📂 Article 📅 1983 🏛 Springer-Verlag 🌐 English ⚖ 895 KB

The tanh transformation for double integ

✍ V.U. Aihie; G.A. Evans 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 373 KB

A predicative model for certain directed

✍ D.W. Slocum; R. Moon; J. Thompson; D.S. Coffey; J.D. Li; M.G. Slocum; A. Siegel; 📂 Article 📅 1994 🏛 Elsevier Science 🌐 French ⚖ 263 KB

A predicative model for certain directed

✍ D.W. Slocum; D.S. Coffey; A. Siegel; P. Grimes 📂 Article 📅 1994 🏛 Elsevier Science 🌐 French ⚖ 248 KB

A round peg for a round hole—progression

✍ Mullins, Charles E. 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 12 KB

A round peg for a round hole—progression

✍ Mullins, Charles E. 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 12 KB