Process Algebra (2IF45) Working with Probabilistic systems
Process Algebra (2IF45) Probabilistic extension: semantics Parallel composition
Process Algebra (2IF45) Some Extensions of Basic Process Algebra
Process Algebra (2IF45) Probabilistic Process Algebra
Process Algebra (2IF45) Recursion in Process Algebra