Norbert Götz, Ulrich Herzog, Michael Rettelbach  Home/Search
Context Related
| informatik.unierlangen.d...rom93.ps.gz informatik.unierl...nce_analysis.ps.gz inria.fr/mistral/i...UERalgebras.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: www7.informatik.unierla...papers (more) From: www7.informatik.unier...i7mitarb (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We introduce Stochastic Process Algebras as a novel approach for the structured design and analysis of both the functional behaviour and performance characteristics of parallel and distributed systems. This is achieved by integrating performance modelling and analysis into the powerful and well investigated formal description technique of process algebras. After advocating the use of stochastic process algebras as a modelling technique we recapitulate the foundations of classical process... (Update)
Cited by: More
Information Processing Letters 80 (2001) 25--31 - Application Of Stochastic (1995) (Correct)
Implementation of Symbolic Model Checking for Probabilistic.. - Parker (1999) (Correct)
On the use of MTBDDs for performability analysis.. - Hermanns.. (2002) (Correct)
Active bibliography (related documents): More All
0.9: Stochastic Process Algebras - Constructive.. - Götz, Hermanns.. (Correct)
0.7: Process Algebra for Performance Evaluation - Hermanns, Herzog, Katoen (2000) (Correct)
0.7: Stochastic Process Algebras Applied to Failure Modelling - Herzog, Mertsiotakis (1994) (Correct)
Similar documents based on text: More All
0.2: Stochastic Process Algebras - Herzog, Rettelbach (1994) (Correct)
0.1: Stochastic Process Algebras - Foundation and Relations with SPN - Balbo, al. (1997) (Correct)
0.1: The Method of Moments for Higher Moments - Problems.. - Dauphin, Paterok, Herzog (1992) (Correct)
Related documents from co-citation: More All
71: A Compositional Approach to Performance Modelling - Hillston - 1996
49: Communication and Concurrency (context) - Milner - 1989
33: Communicating Sequential Processes (context) - Hoare - 1985
BibTeX entry: (Update)
H.N. Gotz, U. Herzog, and M. Rettelbach. Multiprocessor and distributed system design: the integration of functional specification and performance analysis using stochastic process algebras. In PERFORMANCE'93, volume 729 of LNCS, pages 121--146, Springer-Verlag, 1993. http://citeseer.ist.psu.edu/gotz93multiprocessor.html More
@inproceedings{ gotz93multiprocessor,
author = "Norbert Gotz and Ulrich Herzog and Michael Rettelbach",
title = "Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras",
booktitle = "Performance/{SIGMETRICS} Tutorials",
pages = "121-146",
year = "1993",
url = "citeseer.ist.psu.edu/gotz93multiprocessor.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989 ACM
906 A structural approach to operational semantics - Plotkin - 1981
139 Cambridge University Press (context) - Baeten, Weijland - 1990
129 An overview and synthesis on timed process algebras (context) - Nicollin, Sifakis - 1991 ACM DBLP
81 Performance Models of Multiprocessor Systems (context) - Marsan, Balbo et al. - 1986 ACM
65 Specification styles in distributed system design and verifi.. - Vissers - 1991
39 Algebraic Theory of Processes (context) - Hennessy - 1988 ACM
26 PEPA: Performance Enhanced Process Algebra (context) - Hillston - 1993
25 TIPP --- a language for timed processes and performance eval.. (context) - Gotz, Herzog et al. - 1992
24 Communicating Sequential Processes (context) - Hoare - 1985 ACM DBLP
23 TIPP --- introduction and application to protocol performanc.. (context) - Gotz, Herzog et al. - 1993
21 Performance and reliability analysis using directed acyclic .. (context) - Sahner, Trivedi - 1987 ACM DBLP
21 A method for performance prediction of parallel programs (context) - Sotz - 1990 ACM DBLP
19 Considerations on the Insularity of Performance Evaluation (context) - Ferrari - 1986 ACM DBLP
15 Performance engineering as an integral part of system design (context) - Harvey - 1986
12 Evaluation of tools for the analysis of communicating system.. (context) - Inverardi, Priami - 1991 DBLP
12 Process algebra for discrete event simulation - Strulo, Harrison - 1993
11 Algebraic specification-based performance analysis of commun.. (context) - Nounou, Yemini - 1985 DBLP
5 Semantik fur Prozeßsprachen zur Leistungsbewertung (context) - Hermanns - 1993
3 time and performance analysis --- a framework (context) - Herzog - 1990
2 Extensions to communicating sequential processes to allow pr.. (context) - Zic - 1987 ACM DBLP
2 Entwurf von Prozeßsprachen zur Leistungsbewertung (context) - Do - 1993
2 Leistungsbewertung mit Prozeßalgebren (context) - Rettelbach - 1991
1 Interner Bericht IMMD (context) - Herzog, Syntax et al. - 1990
1 A quarter century of performance evaluation --- impact on sc.. (context) - Reiser - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www7.informatik.uni-erlangen.de/tree/IMMD-VII/Research/Projects/tipp/papers.html): More
A Simple Time Scale Decomposition Technique for.. - Hillston, Mertsiotakis (1995) (Correct)
Throughput Approximation of Decision Free Processes Using.. - Mertsiotakis, Silva (1997) (Correct)
Stochastic Process Algebras as a Tool for Performance .. - Hermanns, Herzog.. (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC