Permit(s1,s2) holds for a given pair of actions if for every read operation in one action, a write exist in the other and vice versa.
0
Embed
Share
Upload
