Skip to content

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

Tala Najem

VenueBECSA
Year2019
ProceedingsECSA (Companion)

Browse the full ECSA paper archive.