A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs.

Claudio Corrodi, Alexander Heuner, Christopher M. Poskitt

Browse the full FASE paper archive.