Exercises on Process Equivalences
This exercise set focuses on strong bisimulation using labelled transition systems (LTS). Participants will analyze various processes to determine if they are strongly bisimilar, employing universal winning strategies for the bisimulation game. Exercises include identifying strong bisimulation between pairs of processes and exploring how relationships in LTS impact our understanding of CCS processes. This practical approach reinforces theoretical concepts and enhances problem-solving skills in process equivalences.
Exercises on Process Equivalences
E N D
Presentation Transcript
Exercise 2 (ThreeS, ThreeT, ThreeU, ThreeV) Topic: Strong Bisimulation (using The Bisimulation Game Game). Consider the following labelled transition systems: Decide whether the processes mentioned below are strongly bisimilar. Give a universal winning strategy (for attacker or defender). a) s ~ t b) s ~ u c) s ~ v
Exercise 3 (OneS, OneT) Topic: Strong Bisimulation(using The Bisimulation Game Game). Consider the following labelled transition systems: • Show that s ~ t by finding a strong bisimulation R containing the pair (s,t) • Discuss the general relationship to CCS processes (i.e. how does knowledge about relationships between two LTS transition diagrams affect our understanding of CCS processes).
Exercise 5 Given: and and - new c P is another notation for P\c
