|
СТ |
A Framework for the Analysis of Security Protocols |
2002 |
Boreale M., Buscemi M. G. |
|
|
|
Lecture Notes in Computer Science |
04.09.2002 |
|
СТ |
On Compositional Reasoning in the Spi-calculus |
2002 |
Boreale M., Gorla D. |
|
|
|
Lecture Notes in Computer Science |
09.05.2002 |
|
СТ |
A Theory of "May" Testing for Asynchronous Languages |
1999 |
Boreale M., De Nicola R., Pugliese R. |
|
|
|
Lecture Notes in Computer Science |
02.04.1999 |
|
СТ |
A Fully Abstract Semantics for Causality in the Pi-calculus |
1998 |
Boreale M., Sangiorgi D. |
|
|
|
Acta Informatica |
30.05.1998 |
|
СТ |
Asynchronous Observations of Processes |
1998 |
Boreale M., De Nicola R., Pugliese R. |
|
|
|
Lecture Notes in Computer Science |
18.04.1998 |
|
СТ |
On the Complexity of Bisimilarity for Value-Passing Processes |
1995 |
Boreale M., Trevisan L. |
|
|
|
Lecture Notes in Computer Science |
31.01.1996 |
|
СТ |
A Fully Abstract Semantics for Causality in the -calculus |
1995 |
Boreale M., Sangiorgi D. |
|
|
|
Lecture Notes in Computer Science |
25.03.1995 |
|
СТ |
A Symbolic Semantics for the -calculus |
1994 |
Boreale M., De Nicola R. |
|
|
|
Lecture Notes in Computer Science |
26.08.1994 |
|
СТ |
Testing Equivalence for Mobile Processes |
1992 |
Boreale M., De Nicola R. |
|
|
|
Lecture Notes in Computer Science |
16.10.1992 |
