Norbert Götz, Ulrich Herzog, Michael Rettelbach. Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras. In Lorenzo Donatiello, Randolph D. Nelson, editors, Performance Evaluation of Computer and Communication Systems, Joint Tutorial Papers of Performance 93 and Sigmetrics 93, Santa Clara, CA, USA, May 10-14, 1993. Volume 729 of Lecture Notes in Computer Science, pages 121-146, Springer, 1993.
Abstract is missing.