@inproceedings{Corrodi-HP16a,
  title = {A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs},
  author = {Claudio Corrodi and Alexander Heußner and Christopher M. Poskitt},
  year = {2016},
  note = {To appear},
  researchr = {https://researchr.org/publication/Corrodi-HP16a},
  cites = {0},
  citedby = {0},
  booktitle = {Proc. International Conference on Fundamental Approaches to Software Engineering (FASE 2016)},
  series = {LNCS},
  publisher = {Springer},
}

@inproceedings{Heussner-PCM15a,
  title = {Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model},
  author = {Alexander Heußner and Christopher M. Poskitt and Claudio Corrodi and Benjamin Morandi},
  year = {2015},
  doi = {10.4204/EPTCS.181.3},
  url = {http://dx.doi.org/10.4204/EPTCS.181.3},
  researchr = {https://researchr.org/publication/Heussner-PCM15a},
  cites = {0},
  citedby = {0},
  pages = {32-47},
  booktitle = {Proc. Graphs as Models (GaM 2015)},
  volume = {181},
  series = {Electronic Proceedings in Theoretical Computer Science},
}