Process Algebra (2IF45) Recursion in Process Algebra Suzana Andova .
Process Algebra (2IF45) Probabilistic Process Algebra Suzana Andova.
Process Algebra (2IF45) Probabilistic Process Algebra