Slide 1Process Algebra Book: Chapter 8 Slide 2 The Main Issue Q: When are two models equivalent? A: When they satisfy different properties. Q: Does this mean that the models…