Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro. Towards a formal framework for Choreography. In 14th IEEE International Workshops on Enabling Technologies (WETICE 2005), 13-15 June 2005, Linköping, Sweden. pages 107-112, IEEE Computer Society, 2005. [doi]
Abstract is missing.