- [[デッドロック]] - デッドロックに陥らないことは[[Safety]]。ややこしいが、deadlockからいつか開放されることは[[Liveness]]。 - 参考: [https://ja.wikipedia.org/wiki/ライブネス](https://ja.wikipedia.org/wiki/ライブネス)