Multiprocessor and distributed system design: The integration of functional specification and performance analysis using stochastic process algebras (1993)

by N Götz, U Herzog, M Rettelbach
Venue:In Performance Evaluation of Computer and Communication Systems