@Inproceedings{EPTCS181.3, author = {Heu{\ss}ner, Alexander and Poskitt, Christopher M. and Corrodi, Claudio and Morandi, Benjamin}, year = {2015}, title = {Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model}, editor = {Rensink, Arend and Zambon, Eduardo}, booktitle = {{\rm Proceedings} Graphs as Models, {\rm London, UK, 11-12 April 2015}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {181}, publisher = {Open Publishing Association}, pages = {32-47}, doi = {10.4204/EPTCS.181.3}, }