- IDEALS Home
- →
- Illinois Research and Scholarship (Open Community)
- →
- Browse Illinois Research and Scholarship (Open Community) by Subject
Browse Illinois Research and Scholarship (Open Community) by Subject "actors, concurrency, types, progress, liveness"
Now showing items 1-1 of 1
-
(2017-09-18)Properties in the actor model can be described in terms of the message-passing behavior of actors. In this paper, we address the problem of using a type system to capture liveness properties of actor programs. Specifically, ...
application/pdf
PDF (297kB)
Now showing items 1-1 of 1