|
СТ |
Noninterference for Concurrent Programs |
2001 |
Boudol G., Castellani I. |
|
|
|
Lecture Notes in Computer Science |
28.07.2001 |
|
СТ |
the Recursive Record Semantics of Objects Revisited |
2001 |
Boudol G. |
|
|
|
Lecture Notes in Computer Science |
28.04.2001 |
|
СТ |
Typing the Use of Resources in a Concurrent Calculus |
1997 |
Boudol G. |
|
|
|
Lecture Notes in Computer Science |
20.12.1997 |
|
СТ |
A lambda-calculus for concurrency (abstract/introduction) |
1990 |
Boudol G. |
|
|
Univ. di Pisa |
Concurrency and Compositionality |
30.06.1995 |
|
П |
A non-interleaving Semantics for CCS Based on Proved Transitions |
1988 |
Boudol G., Castellani I. |
|
|
INRIA |
|
01.06.1995 |
|
П |
The Chemical Abstract Machine |
1989 |
Berry G., Boudol G. |
|
|
INRIA |
|
01.06.1995 |
|
СТ |
Some Chemical Abstract Machines |
1994 |
Boudol G. |
|
|
|
Lecture Notes in Computer Science |
05.08.1994 |
|
СТ |
The Lambda-Calculus with Multiplicities |
1993 |
Boudol G. |
|
|
|
Lecture Notes in Computer Science |
19.10.1993 |
|
СТ |
A Theory of Processes with Localities |
1992 |
Boudol G., Castellani I., Hennessy M., Kiehn A. |
|
|
|
Lecture Notes in Computer Science |
16.10.1992 |
|
СТ |
Three Equivalent Semantics for CCS |
1990 |
Boudol G., Castellani I. |
|
|
|
Lecture Notes in Computer Science |
12.02.1991 |
