Process Algebra (2IF45) Some Extensions of Basic Process Algebra Dr. Suzana Andova Process Algebra (2IF45) * Outline of today lecture Complete the proof of the Ground-completeness…