State space reduction using synchronization

Process 1

Process 2

Text Box: Step 1

Step 2

lock_crit_region

Step 3

Step 4

unlock_crit_region

Step 5 Text Box: Step a

lock_crit_region

Step b

Step c

unlock_crit_region

Step d

Step e