This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
readings [2015/04/09 00:37] clement |
readings [2015/04/09 00:38] clement |
||
---|---|---|---|
Line 372: | Line 372: | ||
* {{isca07_bulksc.pdf|Ceze et al. (2007). BulkSC: Bulk Enforcement of Sequential Consistency.}} | * {{isca07_bulksc.pdf|Ceze et al. (2007). BulkSC: Bulk Enforcement of Sequential Consistency.}} | ||
** Mentioned during lecture: ** | ** Mentioned during lecture: ** | ||
- | * (CMU WebISO) [[http://www.cs.utexas.edu/users/EWD/transcriptions/EWD01xx/EWD123.html|Cooperating Sequential Processes]] | + | * (HTML) [[http://www.cs.utexas.edu/users/EWD/transcriptions/EWD01xx/EWD123.html|Dijkstra (1965) Cooperating Sequential Processes.]] |