Sfoglia per Autore COTO SANTIESTEBAN, ALEX RANIER
Mostrati risultati da 1 a 4 di 4
Choreographic Development of Message-Passing Applications
2020-01-01 Alex, Coto; Guanciale, Roberto; Tuosto, Emilio
An Abstract Framework for Choreographic Testing
2020-01-01 Coto, Alex; Guanciale, Roberto; Tuosto, Emilio
An abstract framework for choreographic testing
2021-01-01 Coto, Alex; Guanciale, Roberto; Tuosto, Emilio
A Prototype for Data Race Detection in CSeq 3
2022-01-01 Coto, Alex; Inverso, Omar; Sales, Emerson; Tuosto, Emilio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Choreographic Development of Message-Passing Applications | 1-gen-2020 | Alex, Coto; Guanciale, Roberto; Tuosto, Emilio | |
An Abstract Framework for Choreographic Testing | 1-gen-2020 | Coto, Alex; Guanciale, Roberto; Tuosto, Emilio | |
An abstract framework for choreographic testing | 1-gen-2021 | Coto, Alex; Guanciale, Roberto; Tuosto, Emilio | |
A Prototype for Data Race Detection in CSeq 3 | 1-gen-2022 | Coto, Alex; Inverso, Omar; Sales, Emerson; Tuosto, Emilio |
Mostrati risultati da 1 a 4 di 4
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