TY - BOOK
AU - Baeten, J. C. M.
TI - Applications of process algebra
PB - Cambridge University Press
PY - 2004
T2 - Cambridge tracts in theoretical computer science
VL - 17
EP - ix, 317 p.
UR - https://ci.nii.ac.jp/ncid/BA71288296
SN - 0521607507
ER -