Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams.

Marco Autili, Davide Di Ruscio, Amleto Di Salle, Paola Inverardi

Browse the full MODELS paper archive.