000 00441nam a2200169Ia 4500
003 OSt
005 20170419102123.0
008 160523s9999 xx 000 0 und d
020 _a3-540-66579-X
040 _c
100 _aFokkink, W.
245 _aIntroduction to process algebra
260 _aBerlin; Heidelberg
_bSpringer Verlag
_c2000
300 _aviii, 163p.
490 _aTexts in theoretical computer science
942 _2ddc
_cBK
999 _c26673
_d26673