000			01392mam a22003254a 4500
001			3175095
003			BD-DhUL
005			20140807110646.0
008			010112s2001 nyua b 001 0 eng
010			_a 2001018392
020			_a0387952063 (alk. paper)
035			_a(OCoLC)ocm45804888
035			_a(NNC)3175095
040			_aDLC _cDLC _dC#P _dOHX _dOrLoB-B _dBD-DhUL
042			_apcc
050	0	0	_aQA76.6 _b.M528 2001
072		7	_aQA _2lcco
082	0	0	_a005.434 _221 _bMID
100	1		_aMisra, Jayadev.
245	1	2	_aA discipline of multiprogramming : _bprogramming theory for distributed applications / _cJayadev Misra.
260			_aNew York : _bSpringer, _cc2001.
300			_axviii, 420 p. : _bill. ; _c24 cm.
490	1		_aMonographs in computer science
504			_aIncludes bibliographical references (p. [397]-409) and index.
505	0	0	_g1. _tA Discipline of Multiprogramming -- _g2. _tAction Systems -- _g3. _tAn Object-Oriented View of Action Systems -- _g4. _tSmall Examples -- _g5. _tSafety Properties -- _g6. _tProgress Properties -- _g7. _tMaximality Properties -- _g8. _tProgram Composition -- _g9. _tConditional and Closure Properties -- _g10. _tReduction Theorem -- _g11. _tDistributed Implementation -- _g12. _tA Logic for Seuss.
650		0	_aMultiprogramming (Electronic computers)
830		0	_aMonographs in computer science.
900			_aAUTH _bTOC
942			_2ddc _cBK
999			_c1084 _d1084