Supporting e-commerce systems formalization with choreography languages.

Mario Bravetti, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro

Browse the full SAC paper archive.