СТ |
Correctness of Automated Distribution of Sequential Programs |
1993 |
Bareau C., Caillaud B., Jard C., Thoraval R. |
|
|
|
Lecture Notes in Computer Science |
29.07.1993 |
СТ |
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 |