source: doc/papers/concurrency @ 1b64344

Name	Size	Rev	Age	Author	Last Change
../
annex		1f9a4d0	4 years	pabuhr	changes for SP&E proofs of concurrency paper
examples		a573c22	5 years	pabuhr	example programs updated for concurrency paper
figures		016b1eb	4 years	pabuhr	final changes for round 2 of the SP&E concurrency paper
.gitignore	71 bytes ​	d5ccbe9	7 years	pabuhr	modify for SPE macros
mail	30.1 KB ​	1f9a4d0	4 years	pabuhr	changes for SP&E proofs of concurrency paper
mail2	91.0 KB ​	17d6214	4 years	pabuhr	final emails about proof changes
Makefile	2.1 KB ​	bd12159	5 years	pabuhr	complete draft for second version of concurrency paper
Paper.tex	181.0 KB ​	1f9a4d0	4 years	pabuhr	changes for SP&E proofs of concurrency paper
response	40.5 KB ​	2aab69b	5 years	pabuhr	files added to concurrency paper
response2	44.7 KB ​	016b1eb	4 years	pabuhr	final changes for round 2 of the SP&E concurrency paper
response3	3.2 KB ​	aa5777c	4 years	pabuhr	reformat for submission
SPEOldPaper.pdf	458.9 KB ​	89faa82	5 years	pabuhr	PDF for first version of concurrency paper

Property mode set to 040000