Process Algebra (2IF45) Recursion in Process Algebra Suzana Andova .
Process Algebra (2IF45) Probabilistic Process Algebra Suzana Andova.
Process Algebra (2IF45) Probabilistic extension: semantics Parallel composition Dr. Suzana Andova.
Chapter5, Deformation FME3
