TY  - RPRT
TI  - Numerically Representing A Stochastic Process Algebra
AU  - Jie Ding
AU  - Jane Hillston
PY  - 2010
UR  - https://arxiv.org/abs/1012.3040
ID  - 1012.3040
ER  -