Holger Hermanns, Ulrich Herzog, Joost-Pieter Katoen  Home/Search
Context Related
| cs.bris.ac.uk/Research/Seminars...04.ps 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: cs.bris.ac.uk/Research/Seminar... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper surveys the theoretical developments in the field of stochastic process algebras, process algebras where action occurrences may be subject to a delay that is determined by a random variable. A huge class of resource-sharing systems --- like large-scale computers, client-server architectures, networks --- can accurately be described using such stochastic specification formalisms. (Update)
Similar documents based on text: More All
0.6: Automated Compositional Markov Chain Generation for a.. - Hermanns, Katoen (Correct)
0.4: Weak Bisimulation for Fully Probabilistic Processes - Baier, Hermanns (1999) (Correct)
0.4: Towards Model Checking Stochastic Process Algebra - Hermanns, Katoen.. (2000) (Correct)
BibTeX entry: (Update)
H. Hermanns, U. Herzog and J.-P. Katoen. Process algebra for performance evaluation. Th. Comp. Sci., 2000 (to appear). http://citeseer.ist.psu.edu/hermanns00process.html More
@article{ hermanns02process,
author = "Holger Hermanns and Ulrich Herzog and Joost-Pieter Katoen",
title = "Process algebra for performance evaluation",
journal = "Theoretical Computer Science",
volume = "274",
number = "1--2",
pages = "43--87",
year = "2002",
url = "citeseer.ist.psu.edu/hermanns00process.html" }
Citations (may not include all citations):276 A Compositional Approach to Performance Modelling - Hillston - 1996
276 Finite Markov Chains (context) - Kemeny, Snell - 1960
268 A theory of timed automata - Alur, Dill - 1994
265 Introduction to the Numerical Solution of Markov Chains (context) - Stewart - 1994
247 Bisimulation through probabilistic testing (context) - Larsen, Skou - 1992
186 A temporal calculus of communicating systems (context) - Moller, Tofts - 1990
174 Probabilistic simulations for probabilistic processes - Segala, Lynch - 1995
159 Matrix-geometric Solutions in Stochastic Models -- An Algori.. (context) - Neuts - 1981
155 Real time process algebra (context) - Baeten, Bergstra - 1991
155 Modelling with Generalized Stochastic Petri Nets (context) - Marsan, Balbo et al. - 1995
136 Time and Probability in Formal Design of Distributed Systems (context) - Hansson - 1994
129 An overview and synthesis on timed process algebras (context) - Nicollin, Sifakis - 1992
128 Automatic verification of probabilistic concurrent finite st.. (context) - Vardi - 1985
93 Multiprocessor and distributed system design: The integratio.. - Gotz, Herzog et al. - 1993
91 A calculus for communicating systems with time and probabili.. (context) - Hansson, Jonsson - 1990
[Article contains additional citations not shown here]
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.bris.ac.uk/Research/Seminars/Formal/): More
Process Algebra - Cleaveland, Smolka (1999) (Correct)
Sooner is Safer than Later - Henzinger (1992) (Correct)
Efficient Exploration of the SoC Communication.. - Lahiri, Raghunathan, Dey (2000) (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