@inproceedings{Corrodi-HP16a, author = {Claudio Corrodi and Alexander Heußner and Christopher M. Poskitt}, title = {A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs}, booktitle = {Proc. International Conference on Fundamental Approaches to Software Engineering (FASE 2016)}, publisher = {Springer}, volume = {9633}, series = {LNCS}, pages = {31-48}, year = {2016}, urltopdf = {http://se.inf.ethz.ch/people/poskitt/publications/Corrodi-HP.FASE.2016.pdf}, }