{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T03:31:53Z","timestamp":1777519913524,"version":"3.51.4"},"publisher-location":"Berlin\/Heidelberg","reference-count":25,"publisher":"Springer-Verlag","isbn-type":[{"value":"354057297X","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013851","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T02:37:23Z","timestamp":1132713443000},"page":"121-146","source":"Crossref","is-referenced-by-count":47,"title":["Multiprocessor and distributed system design: The integration of functional specification and performance analysis using Stochastic Process Algebras"],"prefix":"10.1007","author":[{"given":"Norbert","family":"G\u00f6tz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulrich","family":"Herzog","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Rettelbach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"M. Ajmone Marsan, G. Balbo, and G. Conte. Performance Models of Multiprocessor Systems. MIT Press, 1986.","DOI":"10.1007\/978-94-009-5408-3_2"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Jos Baeten and Peter Weijland. Process Algebra. Cambridge University Press, 1990.","DOI":"10.1017\/CBO9780511624193"},{"key":"5_CR3","unstructured":"Hu Trung Do. Entwurf von Proze\u0392sprachen zur Leistungsbewertung. Diplomarbeit, Universit\u00e4t Erlangen, 1993."},{"issue":"6","key":"5_CR4","doi-asserted-by":"crossref","first-page":"678","DOI":"10.1109\/TSE.1986.6312965","volume":"SE-12","author":"D. Ferrari","year":"1986","unstructured":"D. Ferrari. Considerations on the Insularity of Performance Evaluation. IEEE Transactions on Software Engineering, SE-12(6):678\u2013683, June 1986.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR5","unstructured":"Norbert G\u00f6tz, Ulrich Herzog, and Michael Rettelbach. TIPP \u2014 a language for timed processes and performance evaluation. Interner Bericht IMMD7-4\/92, Universit\u00e4t Erlangen, March 1992."},{"key":"5_CR6","unstructured":"Norbert G\u00f6tz, Ulrich Herzog, and Michael Rettelbach. TIPP \u2014 introduction and application to protocol performance analysis. In Formale Beschreibungstechniken f\u00fcr verteilte Systeme, Munich, to appear 1993. FOKUS series, Saur publishers."},{"issue":"3","key":"5_CR7","first-page":"143","volume":"4","author":"C. Harvey","year":"1986","unstructured":"C. Harvey. Performance engineering as an integral part of system design. British Telecom Technology Journal, 4(3):143\u2013147, July 1986.","journal-title":"British Telecom Technology Journal"},{"key":"5_CR8","unstructured":"Matthew Hennessy. Algebraic Theory of Processes. MIT Press, 1988."},{"key":"5_CR9","unstructured":"Ulrich Herzog. EXL: Syntax, semantics and examples. Interner Bericht IMMD7-16\/90, Universit\u00e4t Erlangen, November 1990."},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Ulrich Herzog. Formal description, time and performance analysis \u2014 a framework. In Entwurf und Betrieb verteilter Systeme. Springer, 1990. Informatik Fachberichte 264.","DOI":"10.1007\/978-3-642-76309-0_10"},{"key":"5_CR11","unstructured":"Holger Hermanns. Semantik f\u00fcr Proze\u0392sprachen zur Leistungsbewertung. Diplomarbeit, Universit\u00e4t Erlangen, to appear 1993."},{"key":"5_CR12","unstructured":"J. Hillston. PEPA: Performance Enhanced Process Algebra. Technical Report CSR-24-93, University of Edinburgh, March 1993."},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Charles Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"5_CR14","first-page":"158","volume":"45","author":"P. Inverardi","year":"1991","unstructured":"Paola Inverardi and Corrado Priami. Evaluation of tools for the analysis of communicating systems. EATCS Bulletin, 45:158\u2013185, 1991.","journal-title":"EATCS Bulletin"},{"key":"5_CR15","unstructured":"Robin Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"X. Nicollin and J. Sifakis. An overview and synthesis on timed process algebras. In Real-Time: Theory in Practice, pages 526\u2013548. Springer LNCS 600, 1991.","DOI":"10.1007\/BFb0032006"},{"key":"5_CR17","unstructured":"N. Nounou and Y. Yemini. Algebraic specification-based performance analysis of communication protocols. In Protocol Specification, Testing and Verification, pages 541\u2013560. Elsevier Publishers, 1985."},{"key":"5_CR18","unstructured":"Gordon Plotkin. A structural approach to operational semantics. Report DAIMI FN-19, Computer Science Department, Aarhus University, September 1981."},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"M. Reiser. A quarter century of performance evaluation \u2014 impact on science and engineering. In Proceedings of the IEEE Comp Euro '91, pages 885\u2013887. IEEE, May 1991.","DOI":"10.1109\/CMPEUR.1991.257509"},{"key":"5_CR20","unstructured":"Michael Rettelbach. Leistungsbewertung mit Proze\u0392algebren. Diplomarbeit, Universit\u00e4t Erlangen, 1991."},{"key":"5_CR21","unstructured":"Ben Strulo and Peter Harrison. Process algebra for discrete event simulation. Technical report, Imperial College, March 1993."},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"F. S\u00f6tz. A method for performance prediction of parallel programs. In Burkhart, editor, CONPAR 90-VAPP IV, Joint International Conference on Vector and Parallel Processing. Proceedings, pages 98\u2013107. Springer LNCS 457, 1990.","DOI":"10.1007\/3-540-53065-7_91"},{"issue":"10","key":"5_CR23","doi-asserted-by":"crossref","first-page":"1105","DOI":"10.1109\/TSE.1987.232852","volume":"SE-13","author":"R. A. Sahner","year":"1987","unstructured":"R. A. Sahner and K. S. Trivedi. Performance and reliability analysis using directed acyclic graphs. IEEE Transactions on Software Engeneering, SE-13(10):1105\u20131114, 1987.","journal-title":"IEEE Transactions on Software Engeneering"},{"key":"5_CR24","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0304-3975(90)90111-T","volume":"89","author":"C. Vissers","year":"1991","unstructured":"Chris Vissers et al. Specification styles in distributed system design and verification. Theoretical Computer Science, 89:179\u2013206, 1991.","journal-title":"Theoretical Computer Science"},{"issue":"5","key":"5_CR25","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1145\/55483.55504","volume":"17","author":"J. J. Zic","year":"1987","unstructured":"J. J. Zic. Extensions to communicating sequential processes to allow protocol performance specification. ACM Computer Communication Review, Special Issue: SIGCOMM '87 Workshop on Frontiers in Computer Communications Technology, 17(5):217\u2013227, 1987.","journal-title":"ACM Computer Communication Review, Special Issue: SIGCOMM '87 Workshop on Frontiers in Computer Communications Technology"}],"container-title":["Lecture Notes in Computer Science","Performance Evaluation of Computer and Communication Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0013851","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T11:42:52Z","timestamp":1683286972000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013851"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354057297X"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/bfb0013851","relation":{},"subject":[]}}