Claudio Guidi
Claudio Guidi
italianaSoftware s.r.l.
Verified email at italianasoftware.com - Homepage
TitleCited byYear
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
2232006
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
1912005
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
1592006
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
1072008
Service-Oriented Programming with Jolie
F Montesi, C Guidi, G Zavattaro
Web Services Foundations, 81-107, 2014
872014
Composing services with JOLIE
F Montesi, C Guidi, G Zavattaro
Fifth European Conference on Web Services (ECOWS'07), 13-22, 2007
722007
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
642007
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
562005
A formal framework for web services coordination
C Guidi, R Lucchi, M Mazzara
Electronic Notes in Theoretical Computer Science 180 (2), 55-70, 2007
512007
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
442008
Combinatorics and Computer Science
Deza, Hofmann
Springer Berlin Heidelberg, 1996
441996
Reasoning about interaction patterns in choreography
R Gorrieri, C Guidi, R Lucchi
Formal Techniques for Computer Systems and Business Processes, 333-348, 2005
382005
Dynamic error handling in service oriented applications
C Guidi, I Lanese, F Montesi, G Zavattaro
Fundamenta Informaticae 95 (1), 73-102, 2009
372009
Microservices: a language-based approach
C Guidi, I Lanese, M Mazzara, F Montesi
Present and Ulterior Software Engineering, 217-225, 2017
352017
Replicating web services for scalability
M Bravetti, S Gilmore, C Guidi, M Tribastone
International Symposium on Trustworthy Global Computing, 204-221, 2007
312007
Self-reconfiguring microservices
M Gabbrielli, S Giallorenzo, C Guidi, J Mauro, F Montesi
Theory and Practice of Formal Methods, 194-210, 2016
252016
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
192008
Formalizing languages for service oriented computing
C Guidi
alma, 2007
142007
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
112012
The system can't perform the operation now. Try again later.
Articles 1–20