Matthew Heaney305 A possible ordering of actions is: Seize (S1.Sema); -- T1 Seize (S2.Sema); -- T2 Seize (S2.Sema); -- T1 Seize (S1.Sema); -- T2 T1 is waiting for S2, which has already been seized by T2.
{}