TY  - RPRT
TI  - Process Algebra as Abstract Data Types
AU  - Ruqian Lu
AU  - Lixing Li
AU  - Yun Shang
AU  - Xiaoyu Li
PY  - 2010
UR  - https://arxiv.org/abs/1001.1043
ID  - 1001.1043
ER  -