@article{DBLP:journals/corr/abs-1303-2201,
  title = "Automatic Verification of Erlang-Style Concurrency",
  author = "Emanuele D'Osualdo and Jonathan Kochems and C.-H. Luke Ong",
  year = "2013",
  journal = "CoRR",
  note = "to appear in SAS 2013",
  volume = "abs/1303.2201",
}