We are inviting IDEALS users, both people looking for materials in IDEALS and those who want to deposit their work, to give us feedback on improving this service through an interview. Participants will receive a $20 VISA gift card. Please sign up via https://forms.illinois.edu/sec/4069811

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/pdfPDF (297kB)