СТ |
A Formal Basis for Reasoning on Programmable QoS |
2003 |
De Nicola R., Ferrari G., Nontanari U., Pugliese R., Tuosto E. |
|
|
|
Lecture Notes in Computer Science |
26.03.2004 |
СТ |
AGILE: Software Architecture for Mobility |
2003 |
Andrade L., Baldan P., Baumeister H., Bruni R., De Nicola R., Fiadeiro J. L., Gadducci F., Gnesi S., Hoffman P., Koch N., Kosiuczenko P., Lapadula A., Latella D., Lopes A., Loreti M., Massink M., Mazzanti U., Montanari U., Oliveira C., Pugliese R., Tarlecki A., Wermelinger M., Wirsing M., Zawlocki A. |
|
|
|
Lecture Notes in Computer Science |
14.01.2004 |
СТ |
Proving the Correctness of Optimizing Desctuctive and Non-destructive Reads over Tuple Spaces |
2000 |
De Nicola R., Pugliese R., Rowstron A. |
|
|
|
Lecture Notes in Computer Science |
05.10.2000 |
СТ |
Programming Access Control: The KLAIM Experience |
2000 |
De Nicola R., Ferarri G., Pugliese R. |
|
|
|
Lecture Notes in Computer Science |
15.09.2000 |
СТ |
A Theory of "May" Testing for Asynchronous Languages |
1999 |
Boreale M., De Nicola R., Pugliese R. |
|
|
|
Lecture Notes in Computer Science |
02.04.1999 |
СТ |
KLAIM: A Kernel Language for Agents Interaction and Mobility |
1998 |
De Nicola R., Ferrari G. L., Pugliese R. |
|
|
|
IEEE Trans. on Software Engineering |
11.08.1998 |
СТ |
Asynchronous Observations of Processes |
1998 |
Boreale M., De Nicola R., Pugliese R. |
|
|
|
Lecture Notes in Computer Science |
18.04.1998 |
СТ |
Testing Semantics of Asynchronous Distibuted Programs |
1997 |
De Nicola R., Pugliese R. |
|
|
|
Lecture Notes in Computer Science |
20.02.1997 |
СТ |
A Process Algebra Based on Linda |
1996 |
De Nicola R., Pugliese R. |
|
|
|
Lecture Notes in Computer Science |
24.05.1996 |