Pr-1st-1.1-m02-toc

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

<<Powrot

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
Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=Pr-1st-1.1-m02-toc&oldid=39911”