Adjoint Professor and Researcher at ICC - UBA - CONICET.

Choreographies specify multiparty interactions via message passing. A \emph{realization} of a choreography is a composition of independent processes that behave as specified by the choreography. Existing relations of correctness/completeness between

We propose Klaim as a suitable base for a novel choreographic framework. More precisely we advocate Klaim as a suitable language onto which to project data-driven global specifications based on distributed tuple

Petri Nets are a well-known model of concurrency and provide an ideal setting for the study of fundamental aspects in concurrent systems. Despite their simplicity, they still lack a satisfactory

University of Buenos Aires yields to the consortium the strong expertise of the software engineering group, which spans from model-based techniques for reasoning about system requirements and design, to scenario-based