@inproceedings{fm2018,
  author    = {K Azadbakht and Boer, F.S. and Vink, E.P. de},
  title     = {Deadlock Detection for Actor-Based Coroutines},
  booktitle = {Proc.\ FM~2018},
  pages     = {39--54},
  year      = {2018},
  doi       = {10.1007/978-3-319-95582-7\_3},
  editor    = {K. Havelund and J. Peleska and B. Roscoe and E.P. de Vink},
  series    = {Lecture Notes in Computer Science},
  volume    = {10951},
  publisher = {Springer},
}