Process Algebra (2IF45) Some Extensions of Basic Process Algebra
Process Algebra (2IF45) Abstraction and Recursions in Process Algebra
Process Algebra (2IF45) Recursion in Process Algebra