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)