@misc{indiciae0fa606d50a47, title = {Numerically Representing A Stochastic Process Algebra}, author = {Jie Ding and Jane Hillston}, year = {2010}, url = {https://arxiv.org/abs/1012.3040}, note = {Source identifier: 1012.3040} }