Estas notas siguen el orden del curso. Se escriben en Org y se publican automáticamente a HTML en cada push al repositorio.
Nota 1
¿Qué es la concurrencia? Origen, propósito y definición
Coordinar agentes en presencia de adversarios: de dónde viene la idea, para qué sirve y cómo se define con precisión.
Nota 2
La fábula de las banderas: el ABC de la exclusión mutua
Alice, Bob, un gato y un perro. El problema de exclusión mutua contado con protocolos de banderas.
Nota 3
Distintos sabores de corrección
Linealizabilidad, consistencia secuencial, quiescente y eventual: qué exige cada una y cuánto cuesta.