@inproceedings{DBLP:conf/pldi/DeligiannisDKLT15,
  author       = {Pantazis Deligiannis and
                  Alastair F. Donaldson and
                  Jeroen Ketema and
                  Akash Lal and
                  Paul Thomson},
  editor       = {David Grove and
                  Stephen M. Blackburn},
  title        = {Asynchronous programming, analysis and testing with state machines},
  booktitle    = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015},
  pages        = {154-164},
  publisher    = {{ACM}},
  year         = {2015},
  doi          = {10.1145/2737924.2737996},
}