Browse Illinois Research and Scholarship (Open Community) by Author "Palmskog, Karl"

  • 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/pdf

    application/pdfPDF (297kB)