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.
@inproceedings{GotzHR93,
title = {Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras},
author = {Norbert Götz and Ulrich Herzog and Michael Rettelbach},
year = {1993},
tags = {process algebra, analysis, algebraic specification, algebra, design},
researchr = {https://researchr.org/publication/GotzHR93},
cites = {0},
citedby = {0},
pages = {121-146},
booktitle = {Performance Evaluation of Computer and Communication Systems, Joint Tutorial Papers of Performance 93 and Sigmetrics 93, Santa Clara, CA, USA, May 10-14, 1993},
editor = {Lorenzo Donatiello and Randolph D. Nelson},
volume = {729},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-57297-X},
}