000			00669nam a2200205Ia 4500
008			161214s9999 xx 000 0 und d
020			_a1852338954 _c(hbk)
082			_223 _a004.015113 _bBOW
100			_aBowman, Howard
245		0	_aConcurrency theory : calculi an automata for modelling untimed and timed concurrent systems
260			_aLondon: _bSpringer, _c2006
300			_axxiv, 435 p.; _bill.: _c24 cm.
650			_aCalculus -- Computer programs
650			_aMachine theory
650			_aMathematical models
650			_aMultitasking (Computer science)
650			_aSynchronous data transmission systems
700			_aGomez, Rodolf
942			_2ddc _cBK
999			_c5538 _d5538