Sfoglia per Rivista
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
2014-01-01 Bernardo, M; De Nicola, R; Loreti, M
A theory of transaction parallelism in blockchains
2021-01-01 Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio
Tracing where IoT data are collected and aggregated
2017-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes | 1-gen-2014 | Bernardo, M; De Nicola, R; Loreti, M | |
A theory of transaction parallelism in blockchains | 1-gen-2021 | Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio | |
Tracing where IoT data are collected and aggregated | 1-gen-2017 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio |
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