Process Algebra (2IF45) Expressiveness of BPArec Suzana Andova Process Algebra (2IF45) * Outline How far can we go with recursive specifications in BPArec(A)? How expressive…