TY  - RPRT
TI  - Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model
AU  - Alexander Heußner
AU  - Christopher M. Poskitt
AU  - Claudio Corrodi
AU  - Benjamin Morandi
PY  - 2015
DO  - 10.4204/eptcs.181.3
UR  - https://arxiv.org/abs/1504.02611
ID  - 1504.02611
ER  -