TY  - RPRT
TI  - Modelling Concurrent Behaviors in the Process Specification Language
AU  - Dai Tri Man Le
PY  - 2009
UR  - https://arxiv.org/abs/0907.2775
ID  - 0907.2775
ER  -