"Lifestate: Event-Driven Protocols and Callback Control Flow (Artifact)."

Shawn Meier, Sergio Mover, Bor-Yuh Evan Chang (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics