notes.kekeho.net
検索
Search
ダークモード
ライトモード
最近の記事
パスキー
2025年1月30日
Passkey
walt.id SSI Kit
2025年1月30日
waltid
Verifiable_Credential
walt.id IdP Kit
2025年1月30日
mDL
2025年1月30日
did web
2025年1月30日
did key
2025年1月30日
did keri
2025年1月30日
did jolo
2025年1月30日
did ethr
2025年1月30日
did dht
2025年1月30日
Home
❯
🌐Distributed Systems・Concurrency・Transaction・DB
❯
Safety
Safety
2025年1月30日
1 min read
(常に)悪いことは怒らないよ、という保証
bad things don’t happen
関連:
Liveness
バックリンク
Dependability
2024-12-10
Proving the Correctness of Multiprocess Programs
ACID
Bully Algorithm
Bandle
PBFT
Consistency
Deadlock
Liveness
Mutex
Non-blocking
Program correctness
Keep CALM and CRDT on
TLA+
Temporal logic