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) [Contribution to conference proceedings]
