Gostaríamos de lhe apresentar o Choreo - uma fundação estruturada para especificações de protocolos distribuídos em Quint. Evite o arquivo em branco. Obtenha abstrações pré-construídas para passagem de mensagens, gestão de estado e padrões de sistemas distribuídos testados em batalha.