11 citations · 18 across the 3 of their papers we have counts for
3 papers
cs.LO2011★ 11 cited
HYPE with stochastic events
Luca Bortolussi, Vashti Galpin, Jane Hillston
The process algebra HYPE was recently proposed as a fine-grained modelling approach for capturing the behaviour of hybrid systems. In the original proposal, each flow or influence…
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…