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…
Slide 0 Process Algebra (2IF45) Abstraction in Process Algebra Suzana Andova ‹#› Outline of the lecture Our way of dealing with internal behaviour: branching bisimulation…
Slide 0 Process Algebra (2IF45) Abstraction and Recursions in Process Algebra Suzana Andova ‹#› Outline of the lecture Combining silent steps with recursion Fairness…