Agora! Venha aprender sobre a especificação de sistemas distribuídos