Вы здесь

Caillaud B.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ HMSCs as Partial Specifications ... with PNs as Completions 2001 Caillaud B., Darondeau P., Helouet L., Lesventes G. Lecture Notes in Computer Science 04.11.2001
СТ Measuring Concurrency of Regular Distributed Computations 1995 Bareau C., Caillaud B., Jard C., Thoraval R. Lecture Notes in Computer Science 20.06.1995
СТ Correctness of Automated Distribution of Sequential Programs 1993 Bareau C., Caillaud B., Jard C., Thoraval R. Lecture Notes in Computer Science 29.07.1993
П Correctness of Automated Distribution of Sequetial Programs 1992 Bareau C., Caillaud B., Jard C., Thoraval R. INRIA 18.04.2002