Pr-1st-1.1-m03-toc

<< Powrót

Spis treści

1. Proces rozproszony
2. Plan wykładu
3. Proces rozproszony
4. Zbiór stanów globalnych (1)
5. Zbiór stanów globalnych (2)
6. Globalna funkcja tranzycji
7. Wykonanie częściowe procesu
8. Wykonanie procesu
9. Stan osiągalny
10. Globalny stan osiągalny
11. Historia wykonania
12. Proces rozproszony jako graf
13. Topologia przetwarzania rozproszonego
14. Relacja poprzedzania zdarzeń
15. Relacja poprzedzania lokalnego
16. Zdarzenia przyczynowo-zależne
17. Diagramy przestrzenno-czasowe
18. Przykładowy diagram
19. Relacja poprzedzania stanów lokalnych
20. Stany współbieżne
21. Graf stanów osiągalnych
22. Przykład grafu stanów osiągalnych
23. Niedeterminizm przetwarzania
24. Niedeterministyczne zdarzenie lokalne
25. Przetwarzanie zdeterminowane i niedeterministyczne
26. Przetwarzanie quasi-deterministyczne
27. Diagramy równoważne
28. Przykład diagramów równoważnych
29. Monitor
30. Cechy monitora
31. Konwencja zapisu algorytmów
32. typ FRAME
33. typ MESSAGE
34. typ CONTROL
35. typ SIGNAL
36. typ PACKET