From 2df1de2cbc9c80016afdec9be631851e9fd42833 Mon Sep 17 00:00:00 2001 From: Jeremy Heiler Date: Mon, 11 Aug 2014 11:21:05 -0400 Subject: [PATCH] Add QuickCheck race conditions paper --- concurrency/README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/concurrency/README.md b/concurrency/README.md index bcd8e37..03af8d8 100644 --- a/concurrency/README.md +++ b/concurrency/README.md @@ -5,3 +5,5 @@ * [Heap Architectures For Concurrent Languages Using Message Passing](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.108.1302&rep=rep1&type=pdf) * [Message Analysis for Concurrent Languages](http://user.it.uu.se/~kostis/Papers/escape.pdf) + +* [Finding Race Conditions in Erlang with QuickCheck and PULSE](http://publications.lib.chalmers.se/records/fulltext/125252/local_125252.pdf)