RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
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
Data-Driven Choreographies à la Klaim
2019-01-01 Roberto, Bruni; Andrea, Corradini; Fabio, Gadducci; Hernán C., Melgratti; Ugo, Montanari; Tuosto, E
Event-Based Service Coordination
2008-01-01 Ferrari, Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, E
History Dependent Automata for Service Compatibility
2008-01-01 Ciancia, Vincenzo; Ferrari, Luigi; Pistore, Marco; Tuosto, E
Model-Driven Development of Long Running Transactions
2011-01-01 Ciancia, Vincenzo; Ferrari, Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, E
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods
2015-01-01 Bigi, Giancarlo; Bracciali, Andrea; Meacci, Giovanni; Tuosto, E
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods
2015-01-01 Bigi, Giancarlo; Bracciali, Andrea; Meacci, Giovanni; Tuosto, E
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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 | |
Data-Driven Choreographies à la Klaim | 1-gen-2019 | Roberto, Bruni; Andrea, Corradini; Fabio, Gadducci; Hernán C., Melgratti; Ugo, Montanari; Tuosto, E | |
Event-Based Service Coordination | 1-gen-2008 | Ferrari, Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, E | |
History Dependent Automata for Service Compatibility | 1-gen-2008 | Ciancia, Vincenzo; Ferrari, Luigi; Pistore, Marco; Tuosto, E | |
Model-Driven Development of Long Running Transactions | 1-gen-2011 | Ciancia, Vincenzo; Ferrari, Luigi; Guanciale, Roberto; Strollo, Daniele; Tuosto, E | |
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods | 1-gen-2015 | Bigi, Giancarlo; Bracciali, Andrea; Meacci, Giovanni; Tuosto, E | |
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods | 1-gen-2015 | Bigi, Giancarlo; Bracciali, Andrea; Meacci, Giovanni; Tuosto, E |
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
Opzioni
Scopri
Tipologia
- 2 Contributo in Volume 8
- 2 Contributo in Volume::2.1 Contr... 8
Data di pubblicazione
- 2010 - 2019 6
- 2008 - 2009 2
Editore
- Springer 5
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE 1
Lingua
- eng 1
Accesso al fulltext
- no fulltext 8