Nos gustaría que le presentara a Choreo, una base estructurada para las especificaciones de protocolos distribuidos en Quint. Omita el archivo en blanco. Obtenga abstracciones prediseñadas para el paso de mensajes, la administración de estados y los patrones de sistemas distribuidos probados en batalla.