X hits on this document

Powerpoint document

Algorithmic Verification of Concurrent Programs - page 57 / 100

317 views

0 shares

0 downloads

0 comments

57 / 100

if (a = false 







< b.var)



< a.var)







and(a,b)

Complexity: O(|a| 

Document info
Document views317
Page views317
Page last viewedWed Jan 18 08:07:45 UTC 2017
Pages100
Paragraphs1586
Words3927

Comments