Now showing items 1-1 of 1

  • Type-parameterized actors and their supervision 

    He, Jiansen (The University of Edinburgh, 2014-11-27)
    The robustness of actor-based concurrent applications can be improved upon by (i) employing failure recovery mechanisms such as the supervision principle, or (ii) using typed messages to prevent ill-typed communication. This ...