Kami ingin Anda memperkenalkan Anda pada Choreo - fondasi terstruktur untuk spesifikasi protokol terdistribusi di Quint. Lewati file kosong. Dapatkan abstraksi bawaan untuk meneruskan pesan, manajemen status, dan pola sistem terdistribusi yang telah diuji pertempuran.