3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.LO2010
Numerically Representing A Stochastic Process Algebra
Jie Ding, Jane Hillston
The syntactic nature and compositionality characteristic of stochastic process algebras make models to be easily understood by human beings, but not convenient for machines as well…
cs.LO2010★ 3 cited
Fundamental Results on Fluid Approximations of Stochastic Process Algebra Models
Jie Ding, Jane Hillston
In order to avoid the state space explosion problem encountered in the quantitative analysis of large scale PEPA models, a fluid approximation approach has recently been proposed,…