Advanced Concurrency Control in Java
Models and languages for parallel computation