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, ...