Browse Illinois Research and Scholarship (Open Collection) by Subject "actors, concurrency, types, progress, liveness"

  • Charalambides, Minas; Palmskog, Karl; Agha, Gul (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/pdfPDF (297kB)