Process Algebra (2IF45) Extending the Basic Process Algebra Dr. Suzana Andova Process Algebra (2IF45) * Process Algebra (2IF45) Guarded recursive specification What do we…
