Title: Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Subjects: Logic design, Computer system performance, Computer science, Software engineering, Computer Science