"Process Algebra and Probabilistic Methods, Performance Modeling and Verification, PAPM-PROBMIV 2001" - читать интересную книгу автора (Luca de Alfaro, Stephen Gilmore)