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

Z Studia Informatyczne
< Programowanie współbieżne i rozproszone
Wersja z dnia 09:55, 14 cze 2006 autorstwa Mengel (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
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=2064”