Вы здесь

Caillaud B.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Measuring Concurrency of Regular Distributed Computations 1995 Bareau C., Caillaud B., Jard C., Thoraval R. Lecture Notes in Computer Science 20.06.1995
СТ 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
П Correctness of Automated Distribution of Sequetial Programs 1992 Bareau C., Caillaud B., Jard C., Thoraval R. INRIA 18.04.2002
СТ Correctness of Automated Distribution of Sequential Programs 1993 Bareau C., Caillaud B., Jard C., Thoraval R. Lecture Notes in Computer Science 29.07.1993