Mario Bravetti, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro. Supporting e-commerce systems formalization with choreography languages. In Hisham Haddad, Lorie M. Liebrock, Andrea Omicini, Roger L. Wainwright, editors, Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005. pages 831-835, ACM, 2005. [doi]
Abstract is missing.