Sfoglia per Autore
Honesty by Typing
2016-01-01 Bartoletti, Massimo; Scalas, Alceste; Tuosto, E; Zunino, Roberto
An Abstract Semantics of the Global View of Choreographies
2016-01-01 Guanciale, Roberto; Tuosto, E
Choreography-Based Analysis of Distributed Message Passing Programs
2016-01-01 Taylor, Ramsay; Tuosto, E; Walkinshaw, Neil; Derrick, John
Choreographies for Automatic Recovery
2017-01-01 Mezzina, Antares; Tuosto, E
A tool for choreography-based analysis of message-passing software
2017-01-01 Lange, Julien; Tuosto, Emilio; Yoshida, Nobuko
Contract-Oriented design of distributed applications: A tutorial
2017-01-01 Atzei, Nicola; Bartoletti, Massimo; Murgia, Maurizio; Tuosto, Emilio; Zunino, Roberto
On Sessions and Infinite Data
2017-01-01 Severi, Paula; Padovani, Luca; Tuosto, E; Dezani-Ciancaglini, Mariangiola
Tool Supported Analysis of IoT
2017-01-01 Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Tuosto, E
Reliability and Fault-Tolerance by Choreographic Design
2017-01-01 Cassar, Ian; Francalanza, Adrian; Mezzina, Antares; Tuosto, E
Semantics of global view of choreographies
2018-01-01 Tuosto, E; Guanciale, Roberto
Reversible Choreographies via Monitoring in Erlang
2018-01-01 Francalanza, Adrian; Mezzina, Antares; Tuosto, E
Realisability of Pomsets via Communicating Automata
2018-01-01 Guanciale, Roberto; Tuosto, E
On Learning Nominal Automata with Binders
2019-01-01 Xiao, Yi; Tuosto, Emilio
Interface Automata for Choreographies
2019-01-01 Zeng, Hao; Kurz, Alexander; Tuosto, Emilio
Data-Driven Choreographies à la Klaim
2019-01-01 Roberto, Bruni; Andrea, Corradini; Fabio, Gadducci; Hernán C., Melgratti; Ugo, Montanari; Tuosto, E
Realisability of pomsets
2019-01-01 Roberto, Guanciale; Tuosto, E
Coordination Models and Languages - 21st IFIP WG 6.1
2019-01-01 Hanne Riis, Nielson; Tuosto, E
Towards Refinable Choreographies
2020-01-01 De'Liguoro, Ugo; Melgratti, Hernán; Tuosto, Emilio
On Resolving Non-determinism in Choreographies
2020-01-01 Bocchi, Laura; Melgratti, Hernan; Tuosto, Emilio
Abstractions for Collective Adaptive Systems
2020-01-01 Inverso, Omar; Trubiani, Catia; Tuosto, Emilio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Honesty by Typing | 1-gen-2016 | Bartoletti, Massimo; Scalas, Alceste; Tuosto, E; Zunino, Roberto | |
An Abstract Semantics of the Global View of Choreographies | 1-gen-2016 | Guanciale, Roberto; Tuosto, E | |
Choreography-Based Analysis of Distributed Message Passing Programs | 1-gen-2016 | Taylor, Ramsay; Tuosto, E; Walkinshaw, Neil; Derrick, John | |
Choreographies for Automatic Recovery | 1-gen-2017 | Mezzina, Antares; Tuosto, E | |
A tool for choreography-based analysis of message-passing software | 1-gen-2017 | Lange, Julien; Tuosto, Emilio; Yoshida, Nobuko | |
Contract-Oriented design of distributed applications: A tutorial | 1-gen-2017 | Atzei, Nicola; Bartoletti, Massimo; Murgia, Maurizio; Tuosto, Emilio; Zunino, Roberto | |
On Sessions and Infinite Data | 1-gen-2017 | Severi, Paula; Padovani, Luca; Tuosto, E; Dezani-Ciancaglini, Mariangiola | |
Tool Supported Analysis of IoT | 1-gen-2017 | Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Tuosto, E | |
Reliability and Fault-Tolerance by Choreographic Design | 1-gen-2017 | Cassar, Ian; Francalanza, Adrian; Mezzina, Antares; Tuosto, E | |
Semantics of global view of choreographies | 1-gen-2018 | Tuosto, E; Guanciale, Roberto | |
Reversible Choreographies via Monitoring in Erlang | 1-gen-2018 | Francalanza, Adrian; Mezzina, Antares; Tuosto, E | |
Realisability of Pomsets via Communicating Automata | 1-gen-2018 | Guanciale, Roberto; Tuosto, E | |
On Learning Nominal Automata with Binders | 1-gen-2019 | Xiao, Yi; Tuosto, Emilio | |
Interface Automata for Choreographies | 1-gen-2019 | Zeng, Hao; Kurz, Alexander; Tuosto, Emilio | |
Data-Driven Choreographies à la Klaim | 1-gen-2019 | Roberto, Bruni; Andrea, Corradini; Fabio, Gadducci; Hernán C., Melgratti; Ugo, Montanari; Tuosto, E | |
Realisability of pomsets | 1-gen-2019 | Roberto, Guanciale; Tuosto, E | |
Coordination Models and Languages - 21st IFIP WG 6.1 | 1-gen-2019 | Hanne Riis, Nielson; Tuosto, E | |
Towards Refinable Choreographies | 1-gen-2020 | De'Liguoro, Ugo; Melgratti, Hernán; Tuosto, Emilio | |
On Resolving Non-determinism in Choreographies | 1-gen-2020 | Bocchi, Laura; Melgratti, Hernan; Tuosto, Emilio | |
Abstractions for Collective Adaptive Systems | 1-gen-2020 | Inverso, Omar; Trubiani, Catia; Tuosto, Emilio |
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