|
СТ |
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 |
|
СТ |
A Java Middleware for Gauranteeing Privacy of Distributed Tuple Spaces |
2003 |
Bettini L., De Nicola R. |
|
|
|
Lecture Notes in Computer Science |
03.04.2003 |
|
СТ |
Formalizing Properties of Mobile Agent Systems |
2002 |
Bettini L., De Nicola R., Loreti M. |
|
|
|
Lecture Notes in Computer Science |
12.06.2002 |
|
СТ |
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 Modal Logic for KLAIM |
2000 |
De Nicola R., Loreti M. |
|
|
|
Lecture Notes in Computer Science |
17.06.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 |
|
СТ |
Locality Based Semantics for Process Algebras |
1997 |
Corradini F., De Nicola R. |
|
|
|
Acta Informatica |
16.05.1997 |
|
СТ |
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 |
|
СТ |
Fully Abstract Models for Nondeterministic Regular Expressions |
1995 |
Corradini F., De Nicola R., Labella A. |
Lecture Notes in Computer Science |
|
|
CONCUR 95: Concurrency Theory |
14.10.1995 |
|
СТ |
Models and Operators for Nondeterministic Processes |
1983 |
De Nicola R. |
|
|
Univ.Edinburgh |
|
02.06.1995 |
|
СТ |
CCS is an (Augmented) Contact Free C/E System |
1986 |
Degano P., De Nicola R., Montanari U. |
|
|
Univ. di Pisa |
|
02.06.1995 |
|
СТ |
A Complete Set of Axioms for a Theoty of Communicating Sequential Processes |
1984 |
De Nicola R. |
|
|
Univ.Edinburgh |
|
02.06.1995 |
|
СТ |
Testing Equivalences for Processes |
1982 |
De Nicola R., Hennessy M.C. B. |
|
|
Univ.Edinburgh |
|
02.06.1995 |
|
СТ |
A Completeness Theorem for Nondeterministic Kleene Algebras |
1994 |
De Nicola R., Labella A. |
|
|
|
Lecture Notes in Computer Science |
30.09.1994 |
|
СТ |
A Symbolic Semantics for the -calculus |
1994 |
Boreale M., De Nicola R. |
|
|
|
Lecture Notes in Computer Science |
26.08.1994 |
|
СТ |
Distribution and Locality of Concurrent Systems |
1994 |
Corradini F., De Nicola R. |
|
|
|
Lecture Notes in Computer Science |
09.08.1994 |
|
СТ |
Universal Axioms for Bisimulations |
1993 |
Degano P., De Nicola R., Montanari U. |
|
|
|
Theoretical Computer Science |
01.07.1994 |
|
СТ |
Testing Equivalence for Mobile Processes |
1992 |
Boreale M., De Nicola R. |
|
|
|
Lecture Notes in Computer Science |
16.10.1992 |
