COTO SANTIESTEBAN, ALEX RANIER
COTO SANTIESTEBAN, ALEX RANIER
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.004 secondi).
A Prototype for Data Race Detection in CSeq 3
2022-01-01 Coto, Alex; Inverso, Omar; Sales, Emerson; 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
Choreographic Development of Message-Passing Applications
2020-01-01 Alex, Coto; Guanciale, Roberto; Tuosto, Emilio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Prototype for Data Race Detection in CSeq 3 | 1-gen-2022 | Coto, Alex; Inverso, Omar; Sales, Emerson; 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 | |
Choreographic Development of Message-Passing Applications | 1-gen-2020 | Alex, Coto; Guanciale, Roberto; Tuosto, Emilio |