Jane Hillston, Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach. Stochastic process algebras: integrating qualitative and quantitative modelling. In Dieter Hogrefe, Stefan Leue, editors, Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994. Volume 6 of IFIP Conference Proceedings, pages 449-451, Chapman & Hall, 1994.
Abstract is missing.