X hits on this document

Powerpoint document

Algorithmic Verification of Concurrent Programs - page 22 / 100

272 views

0 shares

0 downloads

0 comments

22 / 100

Example

G = { (x, l) | x

t1, pc1) |

t2, pc2) |





Document info
Document views272
Page views272
Page last viewedThu Dec 08 16:48:52 UTC 2016
Pages100
Paragraphs1586
Words3927

Comments