Вы здесь
Loreti M.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | 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 | |||
СТ | Formalizing Properties of Mobile Agent Systems | 2002 | Bettini L., De Nicola R., Loreti M. | Lecture Notes in Computer Science | 12.06.2002 | |||
СТ | A Modal Logic for KLAIM | 2000 | De Nicola R., Loreti M. | Lecture Notes in Computer Science | 17.06.2000 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Coordination Models and Languages: Proc./20th IFIP WG 6.1 International Conference, COORDINATION 2018 Held as Part of the 13th International Federated Conference, DisCoTec 2018, Madrid Spain, June 2018 | 2018 | Lecture Notes in Computer Science |
|
21.06.2018 | |||
СБ | Trustworthy Global Computing: Revised Selected Papers/10th International Symposium, TGC 2015, Madrid, Spain, August 2015 | 2016 | Lecture Notes in Computer Science |
|
01.03.2016 |