Process Algebra (2IF45) Working with Probabilistic systems
Process Algebra (2IF45) Probabilistic extension: semantics Parallel composition
Process Algebra (2IF45) Probabilistic Process Algebra