Constructive modelling and design basic research within the European QMIPS-project

The main objectives of the Quantitative Modelling in Parallel Systems (QMIPS) project, a research activity on quantitative modeling of parallel and distributed systems, are summarized. Elements of a constructive modeling and design methodology are discussed, and stochastic process algebras are emphasized as an interesting base for it.<
>