CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 1 a 8 di 8
Titolo Data di pubblicazione Autore(i) File
Secure and Unfailing Services 1-gen-2013 Degano, Pierpaolo; Basile, Davide; Ferrari, GIAN-LUIGI
Automata for Service Contracts 1-gen-2014 Basile, Davide; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
A formal framework for secure and complying services 1-gen-2014 Basile, Davide; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
From orchestration to choreography through contract automata 1-gen-2014 Basile, Davide; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Tuosto, E.
Automata for Analysing Service Contracts 1-gen-2014 Basile, Davide; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
Relating Two Automata-based Models of Orchestration and Choreography. 1-gen-2016 Basile, Davide; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Tuosto, E.
Playing with our CAT and Communication-Centric Applications 1-gen-2016 Basile, Davide; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Tuosto, E.
Specifying Variability in Service Contracts 1-gen-2017 Basile, Davide; Di Giandomenico, Felicita; Gnesi, Stefania; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
Mostra risultati da 1 a 8 di 8
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