Towards automatic verification of Erlang programs by pi-calculus translation. Roy, C. K.; Noll, T.; Roy, B.; and Cordy, J. R. In Feeley, M. and Trinder, P. W., editors, Erlang Workshop, pages 38-50, 2006. ACM.
Towards automatic verification of Erlang programs by pi-calculus translation. [link]Link  Towards automatic verification of Erlang programs by pi-calculus translation. [link]Paper  bibtex   
@inproceedings{conf/erlang/RoyNRC06,
  author = {Roy, Chanchal Kumar and Noll, Thomas and Roy, Banani and Cordy, James R.},
  booktitle = {Erlang Workshop},
  crossref = {conf/erlang/2006},
  date = {2008-04-02},
  editor = {Feeley, Marc and Trinder, Philip W.},
  ee = {http://doi.acm.org/10.1145/1159789.1159798},
  interhash = {244b604937af793f099dfa7c96225c14},
  intrahash = {8c7d611aeab1e168067c5c624170c152},
  isbn = {1-59593-490-1},
  pages = {38-50},
  publisher = {ACM},
  title = {Towards automatic verification of Erlang programs by pi-calculus translation.},
  url = {http://dblp.uni-trier.de/db/conf/erlang/erlang2006.html#RoyNRC06},
  year = 2006
}
Downloads: 0