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
❯
Concurrent
Concurrent
2025年1月30日
1 min read
happend-before
関係にないイベントは
Concurrent
といわれる
バックリンク
Concurrent
Progress
Sequential specification
cobegin
Producer-consumer problem
Hermes
TLA+
Temporal logic