Документы, связанные с Джованни Уччелла

Письмо Д. Уччелла -> А.П. Ершов 18.02.1980

Просит опубликовать свою статью "Discovering Concurrency by Means of Graphs" в журнале IPL. Говорит, что ради уменьшения размера статьи опущены доказательства теорем, но они могут быть легко вставлены, если этого потребует рецензент.
Обложка А.П. Ершов 13.03.1980

с хронологией работы над статьей.
Отчет рецензента В.А. Вальковский 05.06.1980

о статье "Discovering Concurrency by Means of Graphs".