Sfoglia per Rivista ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
Mostrati risultati da 1 a 4 di 4
An Abstract Framework for Choreographic Testing
2020-01-01 Coto, Alex; Guanciale, Roberto; Tuosto, Emilio
A note on compliance relations and fixed points.?
2019-01-01 Murgia, M.
On urgency in asynchronous timed session types
2018-01-01 Murgia, M.
Towards Refinable Choreographies
2020-01-01 De'Liguoro, Ugo; Melgratti, Hernán; Tuosto, Emilio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
An Abstract Framework for Choreographic Testing | 1-gen-2020 | Coto, Alex; Guanciale, Roberto; Tuosto, Emilio | |
A note on compliance relations and fixed points.? | 1-gen-2019 | Murgia, M. | |
On urgency in asynchronous timed session types | 1-gen-2018 | Murgia, M. | |
Towards Refinable Choreographies | 1-gen-2020 | De'Liguoro, Ugo; Melgratti, Hernán; 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