IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 61 a 80 di 117
Titolo Data di pubblicazione Autore(i) File
Three Algorithms and a Methodology for Amending Contracts for Choreographies 1-gen-2012 Bocchi, Laura; Lange, Julien; Tuosto, E
On Nominal Regular Languages with Binders 1-gen-2012 Kurz, Alexander; Suzuki, Tomoyuki; Tuosto, E
Virtual models for archaeology 1-gen-2013 Bocchi, Laura; Hoger, Mahmud; Rebay-Salisbury, Katherina; Tuosto, Emilio
On Recovering from Run-time Misbehaviour in ADR 1-gen-2013 Poyias, Kyriakos; Tuosto, E
Honesty by Typing 1-gen-2013 Bartoletti, Massimo; Scalas, Alceste; Tuosto, E; Zunino, Roberto
Trustworthy Global Computing 1-gen-2014 Maffei, Matteo; Tuosto, Emilio
From Orchestration to Choreography through Contract Automata 1-gen-2014 Basile, Davide; Degano, Pierpaolo; Ferrari, Luigi; Tuosto, E
Web Services and Formal Methods 1-gen-2014 Tuosto, Emilio; Ouyang, Chun
Resolving Non-determinism in Choreographies 1-gen-2014 Bocchi, Laura; Melgratti, C; Tuosto, E
From Communicating Machines to Graphical Choreographies 1-gen-2015 Lange, Julien; Tuosto, E; Yoshida, Nobuko
Attribute-based transactions in service oriented computing 1-gen-2015 Bocchi, Laura; 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
Communicating machines as a dynamic binding mechanism of services 1-gen-2015 Vissani, Ignacio; Pombo, López; Tuosto, E
A design-by-contract approach to recover the architectural style from run-time misbehaviour 1-gen-2015 Poyias, Kyriakos; Tuosto, E
Service Oriented Computing and Applications 1-gen-2015 Lluch-Lafuente, Alberto; Tuosto, E
Honesty by Typing 1-gen-2016 Bartoletti, Massimo; Scalas, Alceste; Tuosto, E; Zunino, Roberto
Choreography-Based Analysis of Distributed Message Passing Programs 1-gen-2016 Taylor, Ramsay; Tuosto, E; Walkinshaw, Neil; Derrick, John
An Abstract Semantics of the Global View of Choreographies 1-gen-2016 Guanciale, Roberto; Tuosto, E
On Sessions and Infinite Data 1-gen-2016 Severi, Paula; Padovani, Luca; Tuosto, E; Dezani-Ciancaglini, Mariangiola
Mostrati risultati da 61 a 80 di 117
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