Process Algebra and Probabilistic Methods. Performance Modelling and Verification Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings - Alfaro, Luca de; Alfaro, Luca de; Gilmore, Stephen; Gilmore, Stephen (Springer Berlin Heidelberg : Imprint: Springer, 2001)