TUOSTO, EMILIO

TUOSTO, EMILIO  

Mostra records
Risultati 1 - 20 di 112 (tempo di esecuzione: 0.003 secondi).
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