Towards automatic verification of Erlang programs by &\#960;-calculus translation Export

@inproceedings{citeulike:2670688, address = {New York, NY, USA}, author = {Roy, Chanchal K. and Noll, Thomas and Roy, Banani and Cordy, James R.}, booktitle = {ERLANG '06: Proceedings of the 2006 ACM SIGPLAN workshop on Erlang}, citeulike-article-id = {2670688}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1159789.1159798}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/1159789.1159798}, doi = {10.1145/1159789.1159798}, isbn = {1595934901}, keywords = {concurrency, erlang, pi-calculus}, pages = {38--50}, posted-at = {2008-04-14 23:03:30}, priority = {4}, publisher = {ACM}, title = {Towards automatic verification of Erlang programs by \&\#960;-calculus translation}, url = {http://dx.doi.org/10.1145/1159789.1159798}, year = {2006} }

TY - CONF ID - citeulike:2670688 L3 - citeulike-article-id:2670688 SN - 1595934901 AD - New York, NY, USA EP - 50 TI - Towards automatic verification of Erlang programs by \&\#960;-calculus translation PB - ACM T2 - ERLANG '06: Proceedings of the 2006 ACM SIGPLAN workshop on Erlang SP - 38 KW - concurrency KW - erlang KW - pi-calculus AU - Roy, Chanchal AU - Noll, Thomas AU - Roy, Banani AU - Cordy, James PY - 2006/// UR - http://dx.doi.org/10.1145/1159789.1159798 ER -