Peter G. Harrison, E. Pitel
The Basic Research project QMIPS (Quantitative Methods In Parallel Systems) involves eight leading research groups from France, Germany, Italy, The Netherlands, Spain and the U.K. This book contains a selection of papers produced by the project during the last 3 years, on a variety of topics concerned with the specification, modelling, evaluation and optimization of parallel and distributed computer systems. The contributions are divided into three broad categories: Formalisms, Solution Methods and Applications. The spectrum of methodologies that are covered includes process algebras, Petri nets, multidimensional Markov processes and G-nets.
Information from pubs.doc.ic.ac.uk/fcfs-negative.