11 citations · 12 across the 2 of their papers we have counts for
2 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.DC2009★ 1 cited
Bounds on series-parallel slowdown
András Z. Salamon, Vashti Galpin
We use activity networks (task graphs) to model parallel programs and consider series-parallel extensions of these networks. Our motivation is two-fold: the benefits of series-para…