%0 Conference Paper %1 Christakis:2011 %A Christakis, Maria %A Sagonas, Konstantinos %B Practical Aspects of Declarative Languages: 13th International Symposium, %D 2011 %E Rocha, Ricardo %E Launchbury, John %I Springer %K Actors Erlang StaticAnalysis %P 5--18 %R 10.1007/978-3-642-18378-2_3 %T Detection of Asynchronous Message Passing Errors Using Static Analysis %@ 978-3-642-18378-2

@inproceedings{Christakis:2011, added-at = {2017-02-08T16:48:18.000+0100}, author = {Christakis, Maria and Sagonas, Konstantinos}, biburl = {https://www.bibsonomy.org/bibtex/22b6a0dc1365319a3567bd1776d0e3743/gron}, booktitle = {Practical Aspects of Declarative Languages: 13th International Symposium,}, description = {Detection of Asynchronous Message Passing Errors Using Static Analysis | SpringerLink}, doi = {10.1007/978-3-642-18378-2_3}, editor = {Rocha, Ricardo and Launchbury, John}, interhash = {200d084b68c2f8fd289138af2f04f17d}, intrahash = {2b6a0dc1365319a3567bd1776d0e3743}, isbn = {978-3-642-18378-2}, keywords = {Actors Erlang StaticAnalysis}, month = {January}, pages = {5--18}, publisher = {Springer}, series = {PADL 2011}, timestamp = {2017-02-08T16:48:18.000+0100}, title = {{Detection of Asynchronous Message Passing Errors Using Static Analysis}}, year = 2011 }