TY  - RPRT
TI  - Software Engineering with Process Algebra: Modelling Client / Server Architectures
AU  - B. Diertens
PY  - 2009
UR  - https://arxiv.org/abs/0908.2506
ID  - 0908.2506
ER  -