Статья "Simulation, Reduction, and Preservation of Correctness Properties of Parallel Systems". Дата: 30.12.1982 Названия статей: "Simulation, Reduction, and Preservation of Correctness Properties of Parallel Systems" Оригинальный язык документа: английский Авторы: Генри Р. Тирри Организации: Хельсинкский университет