RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Rigorous engineering of collective adaptive systems – 2nd special section
2023-01-01 Wirsing, M.; Jahnichen, S.; De Nicola, R.
Semantic subtyping for the pi-calculus
2008-01-01 G., Castagna; DE NICOLA, R; D., Varacca
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays
2021-01-01 Bistarelli, S.; De Nicola, R.; Galletta, L.; Laneve, C.; Mercanti, I.; Veschetti, A.
TAPAs: A Tool for the Analysis of Process Algebras
2008-01-01 Calzolai, F; DE NICOLA, R; Loreti, M; Tiezzi, F
Testing Equivalence for Mobile Processes
1995-01-01 DE NICOLA, R; M., Boreale
Testing Equivalences for Processes
1984-01-01 DE NICOLA, R; M., Hennessy
The role of bot squads in the political propaganda on Twitter
2020-01-01 Caldarelli, G.; De Nicola, R.; Del Vigna, F.; Petrocchi, M.; Saracco, F.
Three Logics for Branching Bisimulation
1995-01-01 DE NICOLA, R; Vaandrager, F. W.
Toward formal models and languages for verifiable multi-robot systems
2018-01-01 De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar
Towards a Logic for Performance and Mobility
2006-01-01 DE NICOLA, R; J. -P., Katoen; D., Latella; M., Massink
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Rigorous engineering of collective adaptive systems – 2nd special section | 1-gen-2023 | Wirsing, M.; Jahnichen, S.; De Nicola, R. | |
Semantic subtyping for the pi-calculus | 1-gen-2008 | G., Castagna; DE NICOLA, R; D., Varacca | |
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays | 1-gen-2021 | Bistarelli, S.; De Nicola, R.; Galletta, L.; Laneve, C.; Mercanti, I.; Veschetti, A. | |
TAPAs: A Tool for the Analysis of Process Algebras | 1-gen-2008 | Calzolai, F; DE NICOLA, R; Loreti, M; Tiezzi, F | |
Testing Equivalence for Mobile Processes | 1-gen-1995 | DE NICOLA, R; M., Boreale | |
Testing Equivalences for Processes | 1-gen-1984 | DE NICOLA, R; M., Hennessy | |
The role of bot squads in the political propaganda on Twitter | 1-gen-2020 | Caldarelli, G.; De Nicola, R.; Del Vigna, F.; Petrocchi, M.; Saracco, F. | |
Three Logics for Branching Bisimulation | 1-gen-1995 | DE NICOLA, R; Vaandrager, F. W. | |
Toward formal models and languages for verifiable multi-robot systems | 1-gen-2018 | De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar | |
Towards a Logic for Performance and Mobility | 1-gen-2006 | DE NICOLA, R; J. -P., Katoen; D., Latella; M., Massink |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Opzioni
Scopri
Tipologia
- 1 Contributo su Rivista 79
- 1 Contributo su Rivista::1.1 Arti... 79
Data di pubblicazione
- 2020 - 2023 13
- 2010 - 2019 19
- 2000 - 2009 28
- 1990 - 1999 15
- 1984 - 1989 4
Rivista
- THEORETICAL COMPUTER SCIENCE 13
- ELECTRONIC NOTES IN THEORETICAL C... 7
- INFORMATION AND COMPUTATION 7
- SCIENCE OF COMPUTER PROGRAMMING 7
- ACTA INFORMATICA 5
- MATHEMATICAL STRUCTURES IN COMPUT... 3
- ACM COMPUTING SURVEYS 2
- CONCURRENCY AND COMPUTATION 2
- IEEE ACCESS 2
- INTERNATIONAL JOURNAL ON SOFTWARE... 2
Keyword
- Attribute-based communication 4
- Cloud computing 2
- Collective adaptive systems 2
- Collective-adaptive systems 2
- Concurrency 2
- Formal methods 2
- Operational semantics 2
- Process calculus 2
- 6G 1
- 6G mobile communication 1
Lingua
- eng 79
Accesso al fulltext
- no fulltext 63
- reserved 9
- open 5
- partially open 2