Stochastic Petri net semantics for stochastic process algebras
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Approximation in non-product form finite capacity queue systems
Future Generation Computer Systems - Systems performance analysis and evaluation
Comparing job allocation schemes where service demand is unknown
Journal of Computer and System Sciences
Modelling job allocation where service duration is unknown
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
| Hi-index | 0.01 |
In this technical report we investigate the correctness of the markovian semantics for the stochastic process algebra MPA by means of queueing systems and we show that there is a reasonable hope that such a semantics catches our intuition.