Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt. A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs. In Proc. International Conference on Fundamental Approaches to Software Engineering (FASE 2016). LNCS, Springer, 2016.
Abstract is missing.