✦ LIBER ✦
Complete assertional proof rules for progress under weak and strong fairness
✍ Scribed by Hesselink, Wim H.
- Book ID
- 121684619
- Publisher
- Elsevier Science
- Year
- 2013
- Tongue
- English
- Weight
- 324 KB
- Volume
- 78
- Category
- Article
- ISSN
- 0167-6423
No coin nor oath required. For personal study only.