(wg M. Ben-Ari)
Własność bezpieczeństwa określa własności statyczne programu współbieżnego, natomiast własność żywotności dotyczy własności dynamicznych.
Podstawowe pojęcia programowania współbieżnego 24