Process Algebra and Probabilistic Methods: Performance Modeling and Verification | Kaicus Deutschland