| 000 | 00684pam a2200193a 44500 | ||
|---|---|---|---|
| 008 | 160408b2006 xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9781852338954 | ||
| 040 | _aP K Kelkar Library, IIT Kanpur | ||
| 082 |
_a004.35 _bB684c |
||
| 100 | _aBowman, Howard | ||
| 245 | 0 |
_aConcurrency theory _bcalculi and automata for modelling untimed and timed concurrent systems _cHoward Bowman and Rodolfo Gomez |
|
| 260 |
_aLondon _bSpringer _c2006 |
||
| 300 | _axxiv, 435p | ||
| 650 | _aLOTOS (Computer program language) | ||
| 650 | _aMachine theory | ||
| 650 | _aParallel processing (Electronic computers)--Mathematical models | ||
| 700 | _aGomez, Rodolfo | ||
| 997 | _aA175230 C | ||
| 999 |
_c371698 _d371698 |
||