Title: Analysing performance of open queueing systems with stochastic process algebras
First published: 2000