12 citations · 22 across the 12 of their papers we have counts for
1 paper · 1 filter
Luca Bortolussi, Alberto Policriti
We begin by reviewing a technique to approximate the dynamics of stochastic programs --written in a stochastic process algebra-- by a hybrid system, suitable to capture a mixed dis…