Asynchronous programming, analysis and testing with state machines.

Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Akash Lal, Paul Thomson

Browse the full PLDI paper archive.