¡Ahora en vivo! Ven a aprender sobre la especificación de sistemas distribuidos