✦ LIBER ✦

Liveness of a mutex algorithm in a fair process algebra

✍ Scribed by Flavio Corradini; Maria Rita Di Berardini; Walter Vogler

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A semi-inverse algorithm in application

✍ Dai Shiqiang; Zang Hongming 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 339 KB

Enhancement of fairness in a DiffServ ne

✍ Yi-Hung Huang; Kuan-Cheng Lin; Chao-Yu Kuo; Chin-Hsing Chen; Yen-Ping Chu 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 485 KB

Finite state expressions in a system of

✍ P. M. Ivanov 📂 Article 📅 1978 🏛 Springer US 🌐 English ⚖ 484 KB

Classification of security properties in

✍ Alessandro Aldini 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 635 KB

Solvability of equivalence problems in a

✍ P. M. Ivanov 📂 Article 📅 1984 🏛 Springer US 🌐 English ⚖ 452 KB

Estimating the possibility of computer r

✍ N. M. Dzhafarova 📂 Article 📅 1968 🏛 Springer US 🌐 English ⚖ 82 KB