source: doc/papers @ 683cc13

ADTast-experimentalpthread-emulation
Name Size Rev Age Author Last Change
../
AMA 27125d0   5 years pabuhr update concurrency paper to address referee comments and generate …
concurrency 17d6214   4 years pabuhr final emails about proof changes
general 3b1825b   6 years pabuhr seperate bibtex and latex library files in Makefile variables
ibm_CASCON19 487198c   5 years Thierry Delisle Apparently forgot to commit the CASCON19 presentation
OOPSLA17 484ee53   6 years pabuhr update Makefiles so ${Build} is order only
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.