Claudio Guidi
Claudio Guidi
italianaSoftware s.r.l.
Verified email at italianasoftware.com - Homepage
Title
Cited by
Cited by
Year
SOCK: A Calculus for Service Oriented Computing
C Guidi, R Lucchi, R Gorrieri, N Busi, G Zavattaro
International Conference on Service-Oriented Computing, 327-338, 2006
2392006
Choreography and orchestration: A synergic approach for system design
N Busi, R Gorrieri, C Guidi, R Lucchi, G Zavattaro
International Conference on Service-Oriented Computing, 228-240, 2005
1962005
Choreography and orchestration conformance for system design
N Busi, R Gorrieri, C Guidi, R Lucchi, G Zavattaro
International Conference on Coordination Languages and Models, 63-81, 2006
1722006
Bridging the gap between interaction-and process-oriented choreographies
I Lanese, C Guidi, F Montesi, G Zavattaro
2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008
1172008
Service-Oriented Programming with Jolie
F Montesi, C Guidi, G Zavattaro
Web Services Foundations, 81-107, 2014
1032014
Composing services with JOLIE
F Montesi, C Guidi, G Zavattaro
Fifth European Conference on Web Services (ECOWS'07), 13-22, 2007
792007
Jolie: a java orchestration language interpreter engine
F Montesi, C Guidi, R Lucchi, G Zavattaro
Electronic Notes in Theoretical Computer Science 181, 19-33, 2007
752007
Towards a formal framework for choreography
N Busi, R Gorrieri, C Guidi, R Lucchi, G Zavattaro
14th IEEE International Workshops on Enabling Technologies: Infrastructure …, 2005
652005
A formal framework for web services coordination
C Guidi, R Lucchi, M Mazzara
Electronic Notes in Theoretical Computer Science 180 (2), 55-70, 2007
572007
Partial-Order Methods for the Verification of Concurrent Systems, volume 1032 of Lecture Notes in Computer Science
P Godefroid
Springer-Verlag, 1996
531996
Microservices: a language-based approach
C Guidi, I Lanese, M Mazzara, F Montesi
Present and Ulterior Software Engineering, 217-225, 2017
462017
On the interplay between fault handling and request-response service invocations
C Guidi, I Lanese, F Montesi, G Zavattaro
2008 8th International Conference on Application of Concurrency to System …, 2008
452008
Self-reconfiguring microservices
M Gabbrielli, S Giallorenzo, C Guidi, J Mauro, F Montesi
Theory and Practice of Formal Methods, 194-210, 2016
442016
Dynamic error handling in service oriented applications
C Guidi, I Lanese, F Montesi, G Zavattaro
Fundamenta Informaticae 95 (1), 73-102, 2009
412009
Reasoning about interaction patterns in choreography
R Gorrieri, C Guidi, R Lucchi
Formal Techniques for Computer Systems and Business Processes, 333-348, 2005
412005
Replicating web services for scalability
M Bravetti, S Gilmore, C Guidi, M Tribastone
International Symposium on Trustworthy Global Computing, 204-221, 2007
362007
Supporting e-commerce systems formalization with choreography languages
M Bravetti, C Guidi, R Lucchi, G Zavattaro
Proceedings of the 2005 ACM symposium on Applied computing, 831-835, 2005
252005
Dynamic fault handling mechanisms for service-oriented applications
F Montesi, C Guidi, I Lanese, G Zavattaro
2008 Sixth European Conference on Web Services, 225-234, 2008
202008
Formalizing languages for service oriented computing
C Guidi
alma, 2007
152007
Interface-based service composition with aggregation
M Dalla Preda, M Gabbrielli, C Guidi, J Mauro, F Montesi
European Conference on Service-Oriented and Cloud Computing, 48-63, 2012
142012
The system can't perform the operation now. Try again later.
Articles 1–20