[Proposal] Denotational Semantics of Engine Systems


This paper develops the counterpart of the denotational semantics of the actor model for engine systems, which relaxes some restrictions on actors and provides additional primitives for timers. In future work, we address how the more expressive model can be faithfully translated to an implementing actor model.