Vorremmo presentarvi Choreo - una base strutturata per le specifiche dei protocolli distribuiti in Quint. Salta il file vuoto. Ottieni astrazioni pre-costruite per il passaggio dei messaggi, la gestione dello stato e modelli di sistemi distribuiti collaudati.