Advertisement
Guest User

Untitled

a guest
Apr 16th, 2014
39
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.14 KB | None | 0 0
  1. ex: T1 T2
  2. 1 -R-> A
  3. 2 <-W- B
  4.  
  5. ex: T1 T2
  6. lockX(A) lockS(B)
  7. read(A) read(B)
  8. A<-A50 unlock(B)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement