Formalizing Event-Driven Behavior of Serverless Applications

Matthew Obetz, Stacy Patterson, Ana Milanova

We present new operational semantics for serverless computing that model the event-driven relationships between serverless functions, as well as their interaction with platforms se…