Stochastic process algebras: integrating qualitative and quantitative modelling.

Jane Hillston, Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach

Browse the full FORTE paper archive.