TODO:
- Halpern and Pearl's actual causality model
- Finalize the spec for each protocol
PAPERS:
- Actual Causality
- Introduction to Temporal Logic
- An Introduction To Linear Temporal Logic (LTL) (not read yet)
CODE:
CONFUSIONS:
*
OTHERS:
log-2023-03-03
发布时间 2023-03-27 17:06:27作者: 机智蛋