Вы здесь
Bruni R.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Event Structure Semantics for Nominal Calculi | 2006 | Bruni R., Melgratti H., Montanari U. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 28.09.2006 | ||
| СТ | 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 | |||
| СТ | Pre-nets, Read Arcs and Unfolding: A Functorial Presentation | 2003 | Baldan P., Bruni R., Montanari U. | Lecture Notes in Computer Science | 14.01.2004 | |||
| СТ | Executable Tile Specifications for Process Calculi | 1999 | Bruni R., Meseguer J., Montanari U. | Lecture Notes in Computer Science | 06.04.1999 | |||
| СТ | A Comparison of Petri Net Semantics under the Collective Token Philosophy | 1998 | Bruni R., Meseguer J., Montanari U., Sassone V. | Lecture Notes in Computer Science | 18.12.1998 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Trustworthy Global Computing: Revised Selected Papers/6th International Symposium, TGC 2011, Aachen, Germany, June 2011 | 2012 | Lecture Notes in Computer Science |
|
20.06.2012 | |||
| СБ | Formal Techniques for Distributed Systems: Proc./Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011 and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 2011 | 2011 | Lecture Notes in Computer Science |
|
06.07.2011 | |||
| СБ | Web Services and Formal Methods: Revised Selected Papers/ 5th International Workshop, WS-FM 2008. Milan, Italy, September 2008 | 2009 | Lecture Notes in Computer Science |
|
24.10.2009 | |||
| СБ | Trustworthy Global Computing: Revised Selected Papers/Second Symposium, TGC 2006. Lucca, Italy, November 2006 | 2007 | Lecture Notes in Computer Science |
|
05.03.2008 |