| 000 | 01688cam a22003014i 4500 | ||
|---|---|---|---|
| 999 |
_c215 _d215 |
||
| 001 | 12277200 | ||
| 005 | 20190718115134.0 | ||
| 008 | 010112s2001 nyu b 001 0 eng | ||
| 020 | _a0387952063 (alk. paper) | ||
| 040 |
_aDLC _cDLC _dDLC _erda |
||
| 082 | 0 | 4 |
_a005.434 _221 _bM.J.A |
| 100 | 1 |
_aMisra, Jayadev, _9904 _eauthor. |
|
| 245 | 1 | 2 |
_aA discipline of multiprogramming : _bprogramming theory for distributed applications / _cJayadev Misra. |
| 264 |
_aNew York : _bSpringer, _c2001. |
||
| 300 |
_axviii, 420 pages. ; _c25 cm. |
||
| 336 |
_2rdacontent _atext |
||
| 337 |
_2rdamedia _aunmediated |
||
| 338 |
_2rdacarrier _avolume |
||
| 440 | 0 |
_aMonographs in computer science _9905 |
|
| 504 | _aIncludes bibliographical references (p. [397]-409) and index. | ||
| 505 | 0 | _a 1. A discipline of multiprogramming.- 2. Action systems.- 3. An object-oriented view of action systems.- 4. Small examples.- 5. Safety properties.- 6. Progress properties.- 7. Maximality properties.- 8. Asynchronous compositions of programs.- 9. Conditional, closure properties.- 10. Reduction theorem.- 11. Distributed implementation.- 12. Logic of Seuss programs.- 13. Epilog. | |
| 650 | 0 | _aMultiprogramming (Electronic computers) | |
| 856 | 4 | 2 |
_3Publisher description _uhttp://www.loc.gov/catdir/enhancements/fy0816/2001018392-d.html |
| 856 | 4 | 1 |
_3Table of contents only _uhttp://www.loc.gov/catdir/enhancements/fy0816/2001018392-t.html |
| 906 |
_bvip _corignew _d1 _eocip _f20 _gy-gencatlg |
||
| 942 |
_2ddc _cBK |
||