Process Algebra and Probabilistic Methods: Performance Modeling and Verification Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings - Hermanns, Holger; Hermanns, Holger; Segala, Roberto; Segala, Roberto (Springer Berlin Heidelberg : Imprint: Springer, 2002)