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:
TODO:
PAPERS:
CODE:
CONFUSIONS:
*
OTHERS: