Compositional schedulability analysis of real-time actor-based systems
{{output}}
We present an extension of the actor model with real-time, including deadlines associated with messages, and explicit application-level scheduling policies, e.g.,"earliest deadline first" which can be associated with individual actors. Schedulability analysis ... ...
