Lifestate: Event-Driven Protocols and Callback Control Flow (Extended Version).

Shawn Meier Sergio Mover Bor-Yuh Evan Chang

Published in: CoRR (2019)

Keyphrases

event driven
control flow
data flow
software testing
process model
publish subscribe
real time
markup language
modeling language
workflow management systems
information delivery
cooperative
decision trees
black box
transition systems
business process models
database systems
knowledge base