Robuta

https://experts.illinois.edu/en/publications/a-type-and-effect-system-for-deterministic-parallel-java/ A type and effect system for deterministic parallel java - Illinois Experts deterministic parallel java effect system type illinois experts https://samskivert.com/reviews/papers/2010/03/a-type-and-effect-system-for-deterministic-parallel-java-bocchino-et-al/ samskivert: A Type and Effect System for Deterministic Parallel Java – Bocchino, et al. deterministic parallel java effect system type bocchino