000 00453nam a2200181 4500
008 160616s2001 000 0
245 _aModal and temporal properties of processes
100 _aStirling, Colin
260 _aBerlin
260 _bspringer
260 _c2001
300 _a190
440 _aTexts in Computer Science
020 _a0 387 98717 7
650 _aParallel processing
942 _cBK
_2BK18044
_01
080 _a681.3 STI
999 _c18044
_d18044