✦ LIBER ✦

A proof rule for fair termination of guarded commands

✍ Scribed by Orna Grumberg; Nissim Francez; Johann A. Makowsky; Willem P. de Roever

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Maximal Domain for the Existence of St

✍ Stephen Ching; Shigehiro Serizawa 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 340 KB

Proof of schreine makers’ rule for gener

✍ A. D. Pelton 📂 Article 📅 1995 🏛 ASM International 🌐 English ⚖ 174 KB

A Short Proof of the Chain Rule for Diff

✍ Raymond Mortini 📂 Article 📅 2012 🏛 Mathematical Association of America 🌐 English ⚖ 259 KB

A characterization of strategy-proof vot

✍ Biung-Ghi Ju 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 500 KB

A proof of strongly uniform termination

✍ Andreas Weiermann 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 199 KB

A revised proof of optimality for the cu

✍ Charles J. Malmborg; Krishnakumar Bhaskaran 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 929 KB