Isolator

A runtime technique for enforcing isolation in concurrent programs

Publications