GUIDI, CLAUDIO
GUIDI, CLAUDIO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Personale esterno ed autonomi
Bridging the Gap between Interaction- and Process-Oriented Choreographies
2008-01-01 I. Lanese; C. Guidi; F. Montesi; G. Zavattaro
Choreography and Orchestration Conformance for System Design
2006-01-01 N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro
Choreography and Orchestration: A Synergic Approach for System Design
2005-01-01 N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro
Composing Services with JOLIE
2007-01-01 F. Montesi; C. Guidi; G. Zavattaro
Dynamic Error Handling in Service Oriented Applications
2009-01-01 C. Guidi; I. Lanese; F. Montesi; G. Zavattaro
Dynamic fault handling mechanisms for service-oriented applications
2008-01-01 F. Montesi; C. Guidi; I. Lanese; G. Zavattaro
JOLIE: a Java Orchestration Language Interpreter Engine
2007-01-01 F. Montesi; C. Guidi; R. Lucchi; G. Zavattaro:
Microservices: A Language-Based Approach
2017-01-01 Claudio, Guidi; Ivan, Lanese; Manuel, Mazzara; Fabrizio, Montesi
On the interplay between fault handling and request-response service invocations
2008-01-01 C. Guidi; I. Lanese; F. Montesi; G. Zavattaro
Reasoning about interaction patterns in Choreography
2005-01-01 R. Gorrieri; C. Guidi; R. Lucchi
Replicating Web Services for Scalability
2008-01-01 M. Bravetti; S. Gilmore; C. Guidi; M. Tribastone
SOCK : A Calculus for Service Oriented Computing
2006-01-01 C. Guidi; R. Lucchi; R. Gorrieri; N. Busi; G. Zavattaro
Supporting e-commerce systems formalization with choreography languages
2005-01-01 M. Bravetti; C. Guidi; R. Lucchi; G. Zavattaro
Towards a formal framework for Choreography
2005-01-01 N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro;
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
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 | - |
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 | - |
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 | - |
Composing Services with JOLIE | F. Montesi; C. Guidi; G. Zavattaro | 2007-01-01 | - | IEEE | 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 | - |
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 | - |
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 | - |
Microservices: A Language-Based Approach | Claudio, Guidi; Ivan, Lanese; Manuel, Mazzara; Fabrizio, Montesi | 2017-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | - |
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 | - |
Reasoning about interaction patterns in Choreography | R. Gorrieri; C. Guidi; R. Lucchi | 2005-01-01 | - | Springer | 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 | - |
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 | - |
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 | - |
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 | - |