"Process Algebra and Probabilistic Methods, Performance Modeling and Verification, 2 conf., PAPM-PROBMIV 2002" - читать интересную книгу автора (Holger Hermanns, Roberto Segala)