log-2023-03-03

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: