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

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