Process algebra for performance evaluation☆
Under an Elsevier user license
open archive
Keywords
Axiomatisation
Bisimulation
Continuous-time Markov chain
Lumpability
Performance evaluation
Process algebra
Resource-sharing systems
Semantics
Cited by (0)
- ☆
Supported by the German Research Council (Deutsche Forschungsgemeinschaft, SFB-Project 182), the European Commission (ESPRIT BRA QMIPS-Project), and the German Academic Exchange Council (Deutscher Akademischer Austauschdienst, BC/Vigoni/ARC-Project).
- 1
Currently at the Computer Science Department of the University of Twente, P.O. Box 217, 7500 AE Enschede, Netherlands.
Copyright © 2002 Elsevier Science B.V. All rights reserved.