Commit Graph

13 Commits

Author SHA1 Message Date
Dave Parfitt
befae7f1a3 fix link for Time, Clocks, and the Ordering of Events in a Distributed
System
2015-05-14 08:42:33 -04:00
Zeeshan Lakhani
1927680d66 add internal pwl paper on x86 semantics with note 2014-09-25 13:46:07 -04:00
Jeremy Heiler
2df1de2cbc Add QuickCheck race conditions paper 2014-08-11 11:21:05 -04:00
yawnt
34cf3c53d5 papers: add added 3 papers from the thesis: Efficient Memory Management for Message Passing Concurrency 2014-03-28 22:45:53 +01:00
Brian Bowman
a9c80328ea readme titles and readme URL approach 2014-03-13 22:39:39 -04:00
Zeeshan Lakhani
19e512aca7 first run-through on audit before distro systems 2014-03-08 03:04:09 -05:00
Brian Bowman
0b85bb7116 spanner dupe, sports folder name, keep csp together 2014-03-05 23:07:20 -05:00
Zeeshan Lakhani
effb4af598 remove dupes 2014-03-04 23:03:46 -05:00
Brian Bowman
6a589612ce synchronization paper 2013-11-04 15:44:08 -05:00
Zeeshan Lakhani
cb37d819d9 add something new and some folder cleanup 2013-07-23 02:39:40 -04:00
Zeeshan Lakhani
b3ba1ee493 rename for better feeding 2013-07-19 16:01:44 -04:00
Jeremy Heiler
348e5f6cc9 Add CSP Paper by Hoare 2013-07-19 14:20:37 -04:00
Zeeshan Lakhani
cdf9c31d6f make concurrency papers a thing 2013-07-13 17:09:01 -04:00