Choreography Modeling Compliance for Timed Business Models.

Manuel I. Capel, Luis Eduardo Mendoza

Browse the full CaiSE paper archive.