11 citations · 18 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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…