DE NICOLA, ROCCO
DE NICOLA, ROCCO
Dipartimento Ingegneria. ICT e Tecnologie per l'energia e i trasporti - DIITET
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.011 secondi).
Information Spreading and the Role of Automated Accounts on Twitter: Two Case Studies
2021 Caldarelli, G.; De Nicola, R.; Petrocchi, M.; Saracco, F.
Costruzione di strumenti per sistemi concorrenti e distribuiti con la teoria
1991 De Nicola R.; Fantechi A.; Gnesi S.; Ristori G.
Partial ordering derivations for CCS
1985 Degano P.; De Nicola R.; Montanari U.
A complete set of axioms for a theory of communicating sequential processes
1983 De Nicola R.
Testing equivalences for processes
1983 De Nicola, R; Hennessy, Mcb
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Information Spreading and the Role of Automated Accounts on Twitter: Two Case Studies | 1-gen-2021 | Caldarelli, G.; De Nicola, R.; Petrocchi, M.; Saracco, F. | |
| Costruzione di strumenti per sistemi concorrenti e distribuiti con la teoria | 1-gen-1991 | De Nicola R.; Fantechi A.; Gnesi S.; Ristori G. | |
| Partial ordering derivations for CCS | 1-gen-1985 | Degano P.; De Nicola R.; Montanari U. | |
| A complete set of axioms for a theory of communicating sequential processes | 1-gen-1983 | De Nicola R. | |
| Testing equivalences for processes | 1-gen-1983 | De Nicola, R; Hennessy, Mcb |