Basic m4-2-chapter1
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.