Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Akash Lal, Paul Thomson. Asynchronous programming, analysis and testing with state machines. In David Grove, Steve Blackburn, editors, Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015. pages 154-164, ACM, 2015. [doi]
Abstract is missing.