Choreographies and Cost Semantics for
Reliable Communicating Systems

Alejandro Gómez-Londoño

12th June 2023