Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras.

Norbert Götz Ulrich Herzog Michael Rettelbach Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras. 121-146 1993 conf/sigmetrics/1993t Performance/SIGMETRICS Tutorials db/conf/sigmetrics/sigmetrics93t.html#GotzHR93