Performance Evaluation Process Algebra
In this course the treatment of operational semantics, notions of equivalence, and (sound and complete) axiomatizations of these equivalences for different types of Markovian process algebras, where delays are governed by exponential distributions.