Tala Najem

According to our database¹, Tala Najem authored at least 2 papers in 2019.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2019

Mapping BPMN2 Service Choreographies to Colored Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2019

A formal semantics for supporting the automated synthesis of choreography-based architectures.

[BibT_eX]

[DOI]

Proceedings of the 13th European Conference on Software Architecture, 2019