source:
doc/papers/concurrency
@
1eb222ff
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
figures | 016b1eb | 4 years | final changes for round 2 of the SP&E concurrency paper | ||
examples | a573c22 | 5 years | example programs updated for concurrency paper | ||
annex | 1f9a4d0 | 4 years | changes for SP&E proofs of concurrency paper | ||
SPEOldPaper.pdf | 458.9 KB | 89faa82 | 5 years | PDF for first version of concurrency paper | |
response3 | 3.2 KB | aa5777c | 4 years | reformat for submission | |
response2 | 44.7 KB | 016b1eb | 4 years | final changes for round 2 of the SP&E concurrency paper | |
response | 40.5 KB | 2aab69b | 5 years | files added to concurrency paper | |
Paper.tex | 181.0 KB | 1f9a4d0 | 4 years | changes for SP&E proofs of concurrency paper | |
Makefile | 2.1 KB | bd12159 | 5 years | complete draft for second version of concurrency paper | |
mail2 | 91.0 KB | 17d6214 | 4 years | final emails about proof changes | |
30.1 KB | 1f9a4d0 | 4 years | changes for SP&E proofs of concurrency paper | ||
.gitignore | 71 bytes | d5ccbe9 | 6 years | modify for SPE macros |
|
Note: See TracBrowser
for help on using the repository browser.