48 citations · 124 across the 18 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.CE2011★ 3 cited
A semi-quantitative equivalence for abstracting from fast reactions
Vashti Galpin, Jane Hillston, Federica Ciocchetta
Semantic equivalences are used in process algebra to capture the notion of similar behaviour, and this paper proposes a semi-quantitative equivalence for a stochastic process algeb…
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…