48 citations · 124 across the 18 of their papers we have counts for
Showing 2010Show all
3 papers · 1 filter
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.CE2010★ 7 cited
Modeling biological systems with delays in Bio-PEPA
Giulio Caravagna, Jane Hillston
Delays in biological systems may be used to model events for which the underlying dynamics cannot be precisely observed, or to provide abstraction of some behavior of the system re…
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,…