Programowanie współbieżne i rozproszone/PWR Wykład 5

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

CSP jako notacja do opisu współbieżności

Identyfikacja symetryczna

Niedeterminizm

Komunikacja jako synchroniczne rozproszone przypisanie

Składnia i semantyka CSP

Przypisanie

Złożenie sekwencyjne

Alternatywa

Dozory złożone

Tablice dozorów

Instrukcja pusta

Iteracja

Złożenie równoległe

Tablice procesów

Instrukcja wejścia i instrukcja wyjścia

Instrukcja wejścia w dozorze

Przykłady

Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=Programowanie_współbieżne_i_rozproszone/PWR_Wykład_5&oldid=2293”