Регистрационная карточка на статью Г. Тирри "Simulation, Reduction, and Preservation of Correctness Properties of Parallel Systems". Дата: 01.03.1983 Названия статей: "Simulation, Reduction, and Preservation of Correctness Properties of Parallel Systems" Оригинальный язык документа: английский Организации: Журнал "Information Processing Letters" Персоналии: Генри Р. Тирри