✦ LIBER ✦
The Hoare and Smyth power domain constructors commute under composition
✍ Scribed by Kevin E. Flannery; Johannes J. Martin
- Book ID
- 103158672
- Publisher
- Elsevier Science
- Year
- 1990
- Tongue
- English
- Weight
- 587 KB
- Volume
- 40
- Category
- Article
- ISSN
- 0022-0000
No coin nor oath required. For personal study only.