Sfoglia per Rivista
Reliability and Fault-Tolerance by Choreographic Design
2017-01-01 Cassar, I.; Francalanza, A.; Mezzina, C; Tuosto, E.
Reversible Sessions Using Monitors
2016-01-01 Mezzina, C; Pérez, J.
Tool Supported Analysis of IoT
2017-01-01 Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Tuosto, Emilio
A type language for message passing component-based systems
2020-01-01 Savanovic, Zorica; Vieira, Hugo; Galletta, Letterio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Reliability and Fault-Tolerance by Choreographic Design | 1-gen-2017 | Cassar, I.; Francalanza, A.; Mezzina, C; Tuosto, E. | |
Reversible Sessions Using Monitors | 1-gen-2016 | Mezzina, C; Pérez, J. | |
Tool Supported Analysis of IoT | 1-gen-2017 | Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Tuosto, Emilio | |
A type language for message passing component-based systems | 1-gen-2020 | Savanovic, Zorica; Vieira, Hugo; 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