| Alternate document: Details Stochastic Process Algebras A Formal Approach to Performance Modelling (96) Holger Hermanns, Ulrich Herzog, Jane Hillston |
Holger Hermanns, Vassilis Mertsiotakis  Home/Search
Context Related
| informatik.unierlang...TIPPtool.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) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The incorporation of time into classical process algebras aiming at the integration of functional design and performance analysis has become very popular recently. There are many ways to include time in process algebras. Current research in this area concentrates mainly on the annotation of actions with exponentially distributed random variables. This allows us to make use of a large repertoire of analysis algorithms. This paper presents some first results of ongoing work which aims at... (Update)
Context of citations to this paper: More
.... process algebraic framework permits the use of bisimulation based equivalences to perform state space reduction [Hil95] The TIPPtool [HM96,HHK 98] is another analysis tool that is based on stochastic process algebra. A variety of analyses are supported, including steady...
.... Petri nets with exponentially distributed or deterministic delays, SPN2MGM [13] for quasi birth death models, PEPA [11] and TIPP [17] for stochastic process algebras, to enumerate a few; for an overview, see for example [14] The results of this paper are part of the...
Cited by: More
A Compact File Format for Labeled Transition Systems - van Langevelde (2001) (Correct)
Stochastic Process Algebras - A Formal Approach to.. - Hermanns, Herzog.. (1996) (Correct)
Stochastic Process Algebras - Between LOTOS and Markov.. - Herzog, Hermanns.. (1997) (Correct)
Similar documents (at the sentence level):
32.7%: TIPPtool: Timed Processes and Performability Evaluation - User's Guide (Correct)
6.0%: A Construction and Analysis Tool Based on the.. - Hermanns.. (1996) (Correct)
Active bibliography (related documents): More All
0.4: Stochastic Process Algebras as a Tool for Performance .. - Hermanns, Herzog.. (1995) (Correct)
0.3: Performance Measure Sensitive Congruences for Markovian.. - Bernardo, Bravetti (2001) (Correct)
0.2: Behaviour Analysis of Communication Systems: Compositional.. - Siegle (2002) (Correct)
Similar documents based on text: More All
0.2: A Simple Time Scale Decomposition Technique for.. - Hillston, Mertsiotakis (1995) (Correct)
0.2: Stochastic Process Algebras - Foundation and Relations with SPN - Balbo, al. (1997) (Correct)
0.2: Exploiting Stochastic Process Algebra Achievements .. - Hermanns, Herzog, .. (1996) (Correct)
Related documents from co-citation: More All
8: A Compositional Approach to Performance Modelling - Hillston - 1996
8: and axioms for MTIPP (context) - Hermanns, Rettelbach et al. - 1994
8: Formal characterisation of immediate actions in SPA with nondeterministic branch.. - Hermanns, Rettelbach et al.
BibTeX entry: (Update)
H. Hermanns and V. Mertsiotakis. A Stochastic Process Algebra Based Modelling Tool. In M. Merabti, M. Carew, and F. Ball, editors, Performance Engineering of Computer and Telecommunications Systems, pages 187--201. Springer, 1996. http://citeseer.ist.psu.edu/hermanns96stochastic.html More
@misc{ hermanns96stochastic,
author = "H. Hermanns and V. Mertsiotakis",
title = "A Stochastic Process Algebra Based Modelling Tool",
text = "H. Hermanns and V. Mertsiotakis. A Stochastic Process Algebra Based Modelling
Tool. In M. Merabti, M. Carew, and F. Ball, editors, Performance Engineering
of Computer and Telecommunications Systems, pages 187--201. Springer, 1996.",
year = "1996",
url = "citeseer.ist.psu.edu/hermanns96stochastic.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
1933 Communication and Concurrency (context) - Milner - 1989
407 Introduction to the ISO Specification Language LOTOS (context) - Bolognesi, Brinksma - 1989
66 revisited: on branching versus linear time temporal logic (context) - Emerson, Halpern et al. - 1986
57 and Axioms for MTIPP (context) - Hermanns, Rettelbach et al. - 1994
57 The PEPA Workbench: A Tool to Support a Process Algebra-Base.. - Gilmore, Hillston - 1994
36 Formal Characterisation of Immediate Actions in an SPA with .. - Hermanns, Rettelbach - 1995
27 Stochastic Process Algebras as a Tool for Performance and De.. - Hermanns, Herzog et al. - 1995
25 Exploring Expect: A Tcl-based Toolkit for Automating Interac.. (context) - Libes - 1994
23 Computing Poisson Probabilities (context) - Fox, Glynn - 1988
21 Specifications in Stochastic Process Algebra for a Robot Con.. - Gilmore, Hillston et al. - 1995
17 Performability Modeling with UltraSAN - Couvillion, Freire et al. - 1991
13 Stochastic Process Algebras: Integrating Qualitative and Qua.. - Hermanns, Herzog et al. - 1994
11 Applying Stochastic Process Algebras to Failure Modelling (context) - Herzog, Mertsiotakis - 1994
5 Employing the Randomization Technique for Solving Stochastic.. (context) - Lindemann - 1991
3 Leistungsvorhersage von Verhaltensbeschreibungen mittels tem.. (context) - Hermanns - 1995
3 A Sparse Linear Equation Solver (context) - Kundert, Sangiovanni-Vincentelli - 1988
1 Special issue on Process Algebras and Performance Modelling (context) - Gilmore, Hillston - 1995
1 Multiprozessor- und Netzwerkkonfigurationen (context) - Gotz, Herzog et al. - 1994
1 Syntactical and Semantical Analysis of TIPP processes (context) - Studt - 1995
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