Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- ex: T1 T2
- 1 -R-> A
- 2 <-W- B
- ex: T1 T2
- lockX(A) lockS(B)
- read(A) read(B)
- A<-A50 unlock(B)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement