48 citations · 85 across the 8 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2014★ 3 cited
Stochastic HYPE: Flow-based modelling of stochastic hybrid systems
Luca Bortolussi, Vashti Galpin, Jane Hillston
Stochastic HYPE is a novel process algebra that models stochastic, instantaneous and continuous behaviour. It develops the flow-based approach of the hybrid process algebra HYPE by…
eess.SY2012★ 16 cited
Hybrid performance modelling of opportunistic networks
Luca Bortolussi, Vashti Galpin, Jane Hillston
We demonstrate the modelling of opportunistic networks using the process algebra stochastic HYPE. Network traffic is modelled as continuous flows, contact between nodes in the netw…