Deterministic Process Groups in dOS
A type and effect system for deterministic parallel Java