User Tools

Site Tools


plt17:lecture_26

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

plt17:lecture_26 [2017/11/03 14:36]
hossein created
plt17:lecture_26 [2017/11/03 14:57] (current)
hossein
Line 5: Line 5:
 === Readings === === Readings ===
    
-  *  +  * Susan Owicki, David Gries: "​Verifying properties of parallel programs: an axiomatic approach",​ Communications of the ACM, Volume 19 Issue 5, May 1976. 
-  ​+
plt17/lecture_26.txt · Last modified: 2017/11/03 14:57 by hossein