Stochastic process algebras: integrating qualitative and quantitative modelling

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

Abstract is missing.