We willen je graag voorstellen aan Choreo - een gestructureerde basis voor gedistribueerde protocol specificaties in Quint. Sla het lege bestand over. Krijg kant-en-klare abstracties voor berichtoverdracht, statusbeheer en beproefde patronen voor gedistribueerde systemen.