79 citations · 424 across the 54 of their papers we have counts for
Showing 2012Show all
3 papers · 1 filter
eess.SY2012
Hybrid Behaviour of Markov Population Models
Luca Bortolussi
We investigate the behaviour of population models written in Stochastic Concurrent Constraint Programming (sCCP), a stochastic extension of Concurrent Constraint Programming. In pa…
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…
cs.LO2012★ 11 cited
Fluid Model Checking
Luca Bortolussi, Jane Hillston
In this paper we investigate a potential use of fluid approximation techniques in the context of stochastic model checking of CSL formulae. We focus on properties describing the be…