|
СТ |
Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software Components |
2003 |
Tronel F., Lang F., Garavel H. |
|
|
|
Lecture Notes in Computer Science |
18.12.2003 |
|
СТ |
NTIF: A General Symbolic Model for Communicating Sequential Processes with Data |
2002 |
Garavel H., Lang F. |
|
|
|
Lecture Notes in Computer Science |
29.11.2002 |
|
СТ |
Compiler Construction Using LOTOS NT |
2002 |
Caravel H., Lang F., Mateescu R. |
|
|
|
Lecture Notes in Computer Science |
27.04.2002 |
|
СТ |
A Framework for Defining Object-Calculi |
1999 |
Lang F., Lescanne P., Liquori L. |
|
|
|
Lecture Notes in Computer Science |
26.10.1999 |
