TUOSTO, EMILIO
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
An Abstract Semantics of the Global View of Choreographies
2016-01-01 Guanciale, Roberto; Tuosto, E
Abstractions for Collective Adaptive Systems
2020-01-01 Inverso, Omar; Trubiani, Catia; Tuosto, Emilio
An Ada95 Implementation of a Network Coordination Language with Code Mobility
1999-01-01 Tuosto, E
Amending Contracts for Choreographies
2011-01-01 Bocchi, Laura; Lange, Julien; Tuosto, E
Architectural Models of Ambient-PRISMA in Channel Ambient Calculus
2011-01-01 Ali, Nour; Tuosto, E
Attribute-based transactions in service oriented computing
2015-01-01 Bocchi, Laura; Tuosto, E
BPMN Modelling of Services with Dynamically Reconfigurable Transactions
2010-01-01 Bocchi, Laura; Guanciale, Roberto; Strollo, Daniele; Tuosto, E
Calculi for Network Aware Programming
2000-01-01 Ferrari, Luigi; Pugliese, Rosario; Tuosto, E
A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions
2012-01-01 Kurz, Alexander; Suzuki, Tomoyuki; Tuosto, E
Choreographic Development of Message-Passing Applications
2020-01-01 Alex, Coto; Guanciale, Roberto; Tuosto, Emilio
Choreographies for Automatic Recovery
2017-01-01 Mezzina, Antares; Tuosto, E
Choreography Automata
2020-01-01 Barbanera, Franco; Lanese, Ivan; Tuosto, Emilio
Choreography-Based Analysis of Distributed Message Passing Programs
2016-01-01 Taylor, Ramsay; Tuosto, E; Walkinshaw, Neil; Derrick, John
A Choreography-Driven Approach to APIs: The OpenDXL Case Study
2020-01-01 Frittelli, Leonardo; Maldonado, Facundo; Melgratti, Hernán; Tuosto, Emilio
Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types
2005-01-01 Ferrari, Luigi; Montanari, Ugo; Tuosto, E
Communicating machines as a dynamic binding mechanism of services
2015-01-01 Vissani, Ignacio; Pombo, López; Tuosto, E
Composition and decomposition of multiparty sessions
2021-01-01 Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; Lanese, Ivan; Tuosto, Emilio
Contract-Oriented Computing in CO2
2012-01-01 Bartoletti, Massimo; Tuosto, E; Zunino, Roberto
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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 | |
An Abstract Semantics of the Global View of Choreographies | 1-gen-2016 | Guanciale, Roberto; Tuosto, E | |
Abstractions for Collective Adaptive Systems | 1-gen-2020 | Inverso, Omar; Trubiani, Catia; Tuosto, Emilio | |
An Ada95 Implementation of a Network Coordination Language with Code Mobility | 1-gen-1999 | Tuosto, E | |
Amending Contracts for Choreographies | 1-gen-2011 | Bocchi, Laura; Lange, Julien; Tuosto, E | |
Architectural Models of Ambient-PRISMA in Channel Ambient Calculus | 1-gen-2011 | Ali, Nour; Tuosto, E | |
Attribute-based transactions in service oriented computing | 1-gen-2015 | Bocchi, Laura; Tuosto, E | |
BPMN Modelling of Services with Dynamically Reconfigurable Transactions | 1-gen-2010 | Bocchi, Laura; Guanciale, Roberto; Strollo, Daniele; Tuosto, E | |
Calculi for Network Aware Programming | 1-gen-2000 | Ferrari, Luigi; Pugliese, Rosario; Tuosto, E | |
A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions | 1-gen-2012 | Kurz, Alexander; Suzuki, Tomoyuki; Tuosto, E | |
Choreographic Development of Message-Passing Applications | 1-gen-2020 | Alex, Coto; Guanciale, Roberto; Tuosto, Emilio | |
Choreographies for Automatic Recovery | 1-gen-2017 | Mezzina, Antares; Tuosto, E | |
Choreography Automata | 1-gen-2020 | Barbanera, Franco; Lanese, Ivan; Tuosto, Emilio | |
Choreography-Based Analysis of Distributed Message Passing Programs | 1-gen-2016 | Taylor, Ramsay; Tuosto, E; Walkinshaw, Neil; Derrick, John | |
A Choreography-Driven Approach to APIs: The OpenDXL Case Study | 1-gen-2020 | Frittelli, Leonardo; Maldonado, Facundo; Melgratti, Hernán; Tuosto, Emilio | |
Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types | 1-gen-2005 | Ferrari, Luigi; Montanari, Ugo; Tuosto, E | |
Communicating machines as a dynamic binding mechanism of services | 1-gen-2015 | Vissani, Ignacio; Pombo, López; Tuosto, E | |
Composition and decomposition of multiparty sessions | 1-gen-2021 | Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; Lanese, Ivan; Tuosto, Emilio | |
Contract-Oriented Computing in CO2 | 1-gen-2012 | Bartoletti, Massimo; Tuosto, E; Zunino, Roberto |