ライブネス
B. Alpernによれば、デッドロックフリーは安全性の性質である。Alpernは、システムの状態が、デッドロックがある状態(赤の状態)と、デッドロックがない状態(緑の状態)に分けられることを前提としている。システムが永遠に緑の状態にとどまる(あるいは、赤の状態にならない)という性質は、安全性の性質である。しかし、緑の状態と赤の状態の区別がつかない場合、最終的にシステム内のいずれかのプロセスが進化するという性質をライブネス性質という。