Asynchronous programming, analysis and testing with state machines.

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

Published in: PLDI (2015)

Keyphrases

state machines
state machine
database
real time
matching algorithm