Вы здесь

Corrieri R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Categorical view of process refinement 1993 Degano P., Corrieri R., Rosolini G. Lecture Notes in Computer Science 11.06.1993
СТ SCONE: A Simple Calculus of Nets 1990 Corrieri R., Montanari U. Lecture Notes in Computer Science 31.01.1991