✦ LIBER ✦

A note on the proof of a concurrent program

✍ Scribed by E. Best

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Finding the correctness proof of a concu

✍ E.W. Dijkstra 📂 Article 📅 1978 🏛 Elsevier Science ⚖ 521 KB

A Note on Concurrent Programming Control

✍ Davidson, C.M. 📂 Article 📅 1987 🏛 IEEE 🌐 English ⚖ 259 KB

A note on a proof of Shepherdson

✍ Flannagan, T. B. 📂 Article 📅 1983 🏛 Springer-Verlag ⚖ 261 KB

NOTE ON A STUDENT'S PROOF

✍ Ray Jurgensen 📂 Article 📅 1951 🏛 School Science and Mathematics Association 🌐 English ⚖ 39 KB

A note on the proof of dispersion relati

✍ A. Minguzzi; R. F. Streater 📂 Article 📅 1960 🏛 Società Italiana di Fisica ⚖ 191 KB

A note on religious proofs

✍ James E. Tomberlin 📂 Article 📅 1970 🏛 Springer Netherlands 🌐 English ⚖ 111 KB