VIDEOS / STELLAR DEVELOPMENT FOUNDATION / MWHSY8H0KG4

Proving linearizability of fault-tolerant register protocols: dependency graph approach

Name: Proving linearizability of fault-tolerant register protocols: dependency graph approach
Uploaded: 2025-12-10T22:21:17Z
Channel: Stellar Development Foundation

STELLAR DEVELOPMENT FOUNDATION · DEC 10, 2025

This YouTube video has 31 views and was published Dec 10, 2025 on Stellar Development Foundation. That is 0.1x the channel's average views.

Proving linearizability of fault-tolerant register protocols: dependency graph approach

▸ WATCH ON YOUTUBE

Views

Likes

—

Comments

—

Like rate

—

▸ Vs channel average

-89%

This video is at 0.1x the channel's average views.

LAST 13 UPLOADS · ■ THIS VIDEO

Stellar Development Foundation

@StellarDevelopmentFoundation · 17.6K SUBS · 90 VIDEOS

AUDIT →