Pr-1st-1.1-m02-toc

<< Powrót

Spis treści

1. Przetwarzanie rozproszone
2. Plan wykładu
3. Przetwarzanie rozproszone
4. Proces sekwencyjny
5. Klasy operacji
6. Komunikat - definicja
7. Kanał - definicja
8. Kanały incydentne, wejściowe i wyjściowe
9. Zbiory kanałów
10. Zbiory procesów sąsiednich
11. Stan kanału
12. Modelowanie opóźnienia w kanale
13. Stan kanału
14. Predykaty opisujące stan kanału
15. Predykat empty
16. Predykat in-transit
17. Predykat available
18. Indywidualne operacje komunikacyjne (1)
19. Indywidualne operacje komunikacyjne (2)
20. Grupowe operacje komunikacyjne (1)
21. Grupowe operacje komunikacyjne (2)
22. Rodzaje komunikacji
23. Komunikacja synchroniczna
24. Komunikacja asynchroniczna
25. Model formalny procesu sekwencyjnego
26. Stan procesu (1)
27. Stan procesu (2)
28. Definicja zdarzenia
29. Klasy zdarzeń
30. Zdarzenie e_send
31. Zdarzenie e_receive
32. Zdarzenie e_internal
33. Dostępność wiadomości
34. Funkcja tranzycji
35. Zdarzenia dopuszczalne
36. Zdarzenia gotowe
37. Predykat enable
38. Procesy zakończone, wstrzymane
39. Procesy aktywne, pasywne
40. Proces aktywny
41. Proces pasywny
42. Warunek uaktywnienia
43. Zbiór warunkujący
44. Predykat activate
45. Warunek uaktywnienia
46. Modele żądań
47. Model jednostkowy
48. Model AND
49. Model OR
50. Podstawowy model k spośród r
51. Podstawowy model k spośród r – przykład
52. Model OR-AND
53. Model OR-AND – przykład
54. Dysjunkcyjny model k spośród r
55. Dysjunkcyjny model k spośród r
56. Model predykatowy