Synapse: automatic behaviour inference and implementation comparison for Erlang

Pablo Lamela Seijas, Simon J. Thompson, Ramsay Taylor, Kirill Bogdanov, John Derrick. Synapse: automatic behaviour inference and implementation comparison for Erlang. In Laura M. Castro, Hans Svensson, editors, Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, Gothenburg, Sweden, September 5, 2014. pages 73-74, ACM, 2014. [doi]

@inproceedings{SeijasTTBD14,
  title = {Synapse: automatic behaviour inference and implementation comparison for Erlang},
  author = {Pablo Lamela Seijas and Simon J. Thompson and Ramsay Taylor and Kirill Bogdanov and John Derrick},
  year = {2014},
  doi = {10.1145/2633448.2633457},
  url = {http://doi.acm.org/10.1145/2633448.2633457},
  researchr = {https://researchr.org/publication/SeijasTTBD14},
  cites = {0},
  citedby = {0},
  pages = {73-74},
  booktitle = {Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, Gothenburg, Sweden, September 5, 2014},
  editor = {Laura M. Castro and Hans Svensson},
  publisher = {ACM},
  isbn = {978-1-4503-3038-1},
}