source: doc/papers @ b065dbb

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		b6c3688	2 years	pabuhr	rename directory ibm_CASCON19 to IBM_CASCON19
llheap		77afbb4	19 months	pabuhr	continue condensing Mubeen's thesis into a paper
OOPSLA17		484ee53	6 years	pabuhr	update Makefiles so ${Build} is order only

Property mode set to 040000