Статья

Архив Редакционно-издательская деятельность Работа в журнале "Information Processing Letters"IPL. Статья Г.Р. Тирри

Статья

Статья

"Simulation, Reduction, and Preservation of Correctness Properties of Parallel Systems".

Дата:

30.12.1982

Авторы:

Генри Р. Тирри

Организации:

Хельсинкский университет