F. Montesi; C. Guidi; G. Zavattaro, Composing Services with JOLIE, in: Proceedings of 5th IEEE European Conference on Web Services (ECOWS'07), LOS ALAMITOS, CA, IEEE, 2007, pp. 13 - 22 (atti di: 5th IEEE European Conference on Web Services (ECOWS'07), Halle, Germania, 26-28 Dicembre 2007) [Contributo in Atti di convegno]
F. Montesi; C. Guidi; R. Lucchi; G. Zavattaro:, JOLIE: a Java Orchestration Language Interpreter Engine, in: , 2007, 181, pp. 19 - 33 (atti di: Second International Workshop on Coordination and Organization (CoOrg 2006), Bologna, 13 June 2006) [Contributo in Atti di convegno]
N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro, Choreography and Orchestration Conformance for System Design, in: Coordination Models and Languages, HEIDELBERG, Springer-Verlag, 2006, 4038, pp. 63 - 81 (atti di: 8th International Conference on Coordination Models and Languages COORDINATION 2006, Bologna, Italy, June 14-16, 2006) [Contributo in Atti di convegno]
C. Guidi; R. Lucchi; R. Gorrieri; N. Busi; G. Zavattaro, SOCK : A Calculus for Service Oriented Computing, in: Service Oriented Computing. Proceedings, BERLIN, Springer, 2006, 4294, pp. 327 - 338 (atti di: International Conference on Service Oriented Computing (ICSOC'06), Chicago, IL, USA, December 4-7, 2006) [Contributo in Atti di convegno]
N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro, Choreography and Orchestration: A Synergic Approach for System Design, in: Lecture Notes in Computer Science, HEIDELBERG, Springer, 2005, 3826, pp. 228 - 240 (atti di: Third International Conference on Service-Oriented Computing - ICSOC'05, Amsterdam,, December 12-15, 2005) [Contributo in Atti di convegno]
R. Gorrieri; C. Guidi; R. Lucchi, Reasoning about interaction patterns in Choreography, in: Lecture Notes in Computer Science, HEIDELBERG, Springer, 2005, 3670, pp. 333 - 348 (atti di: Proc. of 2nd International Workshop on Web Services and Formal Methods -- WS-FM'05, Versailles, Francia, 1-3 Settembre 2005) [Contributo in Atti di convegno]
M. Bravetti; C. Guidi; R. Lucchi; G. Zavattaro, Supporting e-commerce systems formalization with choreography languages, in: Proc. of the 20th ACM Symposium on Applied Computing (SAC'05), special track on E-Commerce Technologies, NEW YORK, ACM Press, 2005, pp. 831 - 835 (atti di: 20th ACM Symposium on Applied Computing (SAC'05), special track on E-Commerce Technologies, Santa Fe (NM, USA), Marzo 2005) [Contributo in Atti di convegno]
N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro;, Towards a formal framework for Choreography, in: Enabling Technologies: Infrastructure for Collaborative Enterprise, 2005. 14th IEEE International Workshops on, LOS ALAMITOS, s.n, 2005, pp. 107 - 112 (atti di: Enabling Technologies: Infrastructure for Collaborative Enterprise, 2005. 14th IEEE International Workshops on, Linkoping, Sweden, 13-15 June 2005) [Contributo in Atti di convegno]
