A formal semantics for supporting the automated synthesis of choreography-based architectures. - Tala Najem (ECSA (Companion), 2019)

Mapping BPMN2 Service Choreographies to Colored Petri Nets. - Tala Najem; Alexander Perucci (SEFM Workshops, 2019)