Для поиска начните вводить запрос
May-Happen-In-Parallel Analysis of Parallel JAVA Programs