## Process Algebra for Performance Evaluation (2000)

### Cached

### Download Links

- [www.cs.bris.ac.uk]
- [wwwhome.cs.utwente.nl]
- DBLP

### Other Repositories/Bibliography

by
Holger Hermanns
,
Ulrich Herzog
,
Joost-pieter Katoen

Citations: | 52 - 13 self |

### BibTeX

@MISC{Hermanns00processalgebra,

author = {Holger Hermanns and Ulrich Herzog and Joost-pieter Katoen},

title = {Process Algebra for Performance Evaluation},

year = {2000}

}

### Years of Citing Articles

### OpenURL

### 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.