Chcielibyśmy przedstawić Ci Choreo - ustrukturyzowaną podstawę dla specyfikacji protokołów rozproszonych w Quint. Pomiń pusty plik. Uzyskaj wstępnie zbudowane abstrakcje do przesyłania wiadomości, zarządzania stanem i sprawdzonych wzorców systemów rozproszonych.