@INPROCEEDINGS{Races@PADL-10,
   author = {Maria Christakis and Konstantinos Sagonas},
    title = {Static Detection of Race Conditions in Erlang},
    pages = {119--133},
booktitle = {PADL},
   editor = {Manuel Carro and Ricardo Pena},
   volume = {5937},
   series = {LNCS},
publisher = {Springer},
     year = {2010}
}