Choreographies and Cost Semantics for
Reliable Communicating Systems
Alejandro Gómez-Londoño
27th August 2020
out-of-memory errors
Communication deadlocks