ライブネス（liveness）は、並行・分散システムの正しさを述べる性質のうち、「いつかは何かが起きる」ことを求める種類をいう。対になるのは安全性（safety）で、こちらは「誤ったことが決して起きない」ことを求める。二つの語は、レスリー・ランポートが1977年の論文「Proving the Correctness of Multiprocess Programs」で、逐次プログラムの部分正当性と停止性を並行プログラムへ一般化する概念として導入した。ランポートの解説によれば、語はペトリネットから借りたもので、意味は形式的には大きく異なる。のちにボーエン・アルパーンとフレッド・シュナイダーがライブネスの形式的な定義を与えた。

ランポートは、何もしない自明なシステムはどんな安全性の性質も満たす、と指摘している。止まっているシステムは誤りを一度も犯さない。そのため、システムが正しく働くと言うには、安全性に加えてライブネスが要る。ブロックチェーンに当てはめれば、不正な記録を受け入れないことが安全性に、新しいブロックがいつかは作られ取引がいつかは記録されることがライブネスにあたる（本項による整理）。

作品に当てはめると、動き続けることを前提にした作品について、その「いつかは」を何が保証しているのか（プロトコルか、特定の機械か、会場の時間割か）を問うための語になる。

事例

荒川零一《assumevalid》（2026）は、ブロックを拒否する根拠をほぼすべて仕様から取り除いたブロックチェーンで、安全性の規則をほとんど持たない。残っていたのは、展示のノードが小説の次の一文字をいつかは書くというライブネスだけで、それは2026年10月4日以降、会場の開館時間（14時〜19時）に限って与えられていた。「自己破壊芸術展」（NEORT++、2026年10月1日〜18日）の閉幕の19時の26秒前に作られた高さ 953004 のブロックを最後に、チェーンは延びておらず（10月21日時点）、短編集は全21,487文字のうち14,661文字（68.23%）で止まった。サイトは誰でもノードを動かして参加できると書いているが、ほかに書きに来た者はいない。