■ Dwiema najważniejszymi technikami stosowanymi przy tworzeniu abstrakcji programistycznych są: kapsułkowanie (hermetyzacja, enkapsulacja), współbieżność
• Programowanie współbieżne jest abstrakcją stworzoną w celu umożliwienia wnioskowania o dynamicznym zachowaniu programów.
- Abstrakcja programowania współbieżnego polega na badaniu przeplatanych ciągów wykonań atomowych instrukcji procesów sekwencyjnych.
Podstawowe pojęcia programowania współbieżnego