Вы здесь

Pugliese R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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