Документы, связанные с Генри Р. Тирри

Статья, 30.12.1982
"Simulation, Reduction, and Preservation of Correctness Properties of Parallel Systems".
Сопроводительное письмо, Г. Р Тирри->А.П. Ершов, 30.12.1982
к статье "Simulation, Reduction, and Preservation of Correctness Properties of Parallel Systems", посланной для опубликования в журнале IPL.
Отчет рецензента, 15.02.1983
о статье Г.Р. Тирри "Simulation, Reduction, and Preservation of Correctness Properties of Parallel Systems". Мнение рецензента - положительное.
Письмо, А.П. Ершов->Г. Р Тирри, 03.02.1983
Подтверждает получение статьи и обещает сообщить решение рецензента.
Регистрационная карточка, 01.03.1983
на статью Г. Тирри "Simulation, Reduction, and Preservation of Correctness Properties of Parallel Systems".
Обложка, 17.01.1983-28.03.1983
с хронологией работы над статьей.
Письмо, А.П. Ершов->Г. Р Тирри, 03.02.1983
Статья получена и передана референту. /Текст рукописный./

По порядку | По алфавиту | По дате


Назад

Switch to English | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016