Multiprocessor and distributed system design: the integration of functional speci cation and performance analysis using stochastic process algebras (1993)

by N Gotz, U Herzog, M Rettelbach
Venue:Performance Evaluation of Computer and Communication Systems. Joint Tutorial Papers of Performance '93 and Sigmetrics '93, volume 729 of Lecture Notes in Computer Science