Kilim: Isolation-Typed Actors for Java Abstract This thesis describes Kilim, a framework that employs a combination of techniques to help create robust, massively concurrent systems … More