о статье Г.Р. Тирри "Simulation, Reduction, and Preservation of Correctness Properties of Parallel Systems". Мнение рецензента - положительное.