%0 Conference Paper %1 Christakis:2010 %A Christakis, Maria %A Sagonas, Konstantinos %B Practical Aspects of Declarative Languages: 12th International Symposium %C Berlin, Heidelberg %D 2010 %E Carro, Manuel %E Peña, Ricardo %K Actors Erlang StaticAnalysis %P 119--133 %R 10.1007/978-3-642-11503-5_11 %T Static Detection of Race Conditions in Erlang %@ 978-3-642-11503-5

@inproceedings{Christakis:2010, added-at = {2017-02-08T16:55:05.000+0100}, address = {Berlin, Heidelberg}, author = {Christakis, Maria and Sagonas, Konstantinos}, biburl = {https://www.bibsonomy.org/bibtex/25523c07402d3861e832b07fe4ec8bce2/gron}, booktitle = {Practical Aspects of Declarative Languages: 12th International Symposium}, description = {Static Detection of Race Conditions in Erlang | SpringerLink}, doi = {10.1007/978-3-642-11503-5_11}, editor = {Carro, Manuel and Pe{\~{n}}a, Ricardo}, interhash = {34567de8c98d5005fffc6071cf852d45}, intrahash = {5523c07402d3861e832b07fe4ec8bce2}, isbn = {978-3-642-11503-5}, keywords = {Actors Erlang StaticAnalysis}, month = {January}, pages = {119--133}, series = {PADL 2010}, timestamp = {2017-02-08T16:55:05.000+0100}, title = {{Static Detection of Race Conditions in Erlang}}, year = 2010 }