000			00463nmm a2200145Ia 4500
008			230202s9999||||xx |||||||||||||||||und||
020			_a9783540397311
100			_aB.T. Denvir, W.T. Harwood, M.I. Jackson, M.J. Wray
245		4	_aThe Analysis of Concurrent Systems
250			_a1985
260			_bSpringer Berlin Heidelberg _c1985
440			_aLecture Notes in Computer Science
650			_aComputer Science
856			_uhttps://doi.org/10.1007/3-540-16047-7
999			_c27489 _d27489