Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 14 di 14
Titolo Autore(i) Anno Periodico Editore Tipo File
Supporting e-commerce systems formalization with choreography languages M. Bravetti; C. Guidi; R. Lucchi; G. Zavattaro 2005-01-01 - ACM Press 4.01 Contributo in Atti di convegno -
Reasoning about interaction patterns in Choreography R. Gorrieri; C. Guidi; R. Lucchi 2005-01-01 - Springer 4.01 Contributo in Atti di convegno -
Towards a formal framework for Choreography N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro; 2005-01-01 - s.n 4.01 Contributo in Atti di convegno -
Choreography and Orchestration: A Synergic Approach for System Design N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro 2005-01-01 - Springer 4.01 Contributo in Atti di convegno -
SOCK : A Calculus for Service Oriented Computing C. Guidi; R. Lucchi; R. Gorrieri; N. Busi; G. Zavattaro 2006-01-01 - Springer 4.01 Contributo in Atti di convegno -
Choreography and Orchestration Conformance for System Design N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro 2006-01-01 - Springer-Verlag 4.01 Contributo in Atti di convegno -
Composing Services with JOLIE F. Montesi; C. Guidi; G. Zavattaro 2007-01-01 - IEEE 4.01 Contributo in Atti di convegno -
JOLIE: a Java Orchestration Language Interpreter Engine F. Montesi; C. Guidi; R. Lucchi; G. Zavattaro: 2007-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 4.01 Contributo in Atti di convegno -
Dynamic fault handling mechanisms for service-oriented applications F. Montesi; C. Guidi; I. Lanese; G. Zavattaro 2008-01-01 - IEEE Computer Society Press 4.01 Contributo in Atti di convegno -
Replicating Web Services for Scalability M. Bravetti; S. Gilmore; C. Guidi; M. Tribastone 2008-01-01 - Springer-Verlag 4.01 Contributo in Atti di convegno -
On the interplay between fault handling and request-response service invocations C. Guidi; I. Lanese; F. Montesi; G. Zavattaro 2008-01-01 - IEEE Computer Society Press 4.01 Contributo in Atti di convegno -
Bridging the Gap between Interaction- and Process-Oriented Choreographies I. Lanese; C. Guidi; F. Montesi; G. Zavattaro 2008-01-01 - IEEE Computer Society Press 4.01 Contributo in Atti di convegno -
Dynamic Error Handling in Service Oriented Applications C. Guidi; I. Lanese; F. Montesi; G. Zavattaro 2009-01-01 FUNDAMENTA INFORMATICAE - 1.01 Articolo in rivista -
Microservices: A Language-Based Approach Claudio, Guidi; Ivan, Lanese; Manuel, Mazzara; Fabrizio, Montesi 2017-01-01 - Springer 2.01 Capitolo / saggio in libro -
Mostrati risultati da 1 a 14 di 14
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