| .. |
|
lecture01.md
|
Learn TLA+ Core -> nondeterminism. Lamport cleanup.
|
2025-02-08 18:44:33 +01:00 |
|
lecture02.md
|
Learn TLA+ Core -> nondeterminism. Lamport cleanup.
|
2025-02-08 18:44:33 +01:00 |
|
lecture03.md
|
Learn TLA+ Core -> nondeterminism. Lamport cleanup.
|
2025-02-08 18:44:33 +01:00 |
|
lecture04.md
|
Learn TLA+ Core -> nondeterminism. Lamport cleanup.
|
2025-02-08 18:44:33 +01:00 |
|
lecture04.tla
|
Learn TLA+ Core -> nondeterminism. Lamport cleanup.
|
2025-02-08 18:44:33 +01:00 |
|
lecture05.md
|
Learn TLA+ Core -> nondeterminism. Lamport cleanup.
|
2025-02-08 18:44:33 +01:00 |
|
lecture05.tla
|
Learn TLA+ Core -> nondeterminism. Lamport cleanup.
|
2025-02-08 18:44:33 +01:00 |
|
lecture06.md
|
Learn TLA+ Core -> nondeterminism. Lamport cleanup.
|
2025-02-08 18:44:33 +01:00 |
|
lecture07.md
|
Learn TLA+ Topics: general. Lamport 7: Paxos.
|
2025-02-12 18:19:37 +01:00 |
|
lecture07_maximum.png
|
Learn TLA+ Topics: general. Lamport 7: Paxos.
|
2025-02-12 18:19:37 +01:00 |
|
lecture08-1.md
|
Lamport 8.1/8.2 Implementation.
|
2025-02-17 18:08:25 +01:00 |
|
lecture08-2.md
|
Lamport 8.1/8.2 Implementation.
|
2025-02-17 18:08:25 +01:00 |
|
lecture09-1.md
|
Lamport 9.2: Liveness and strong fairness.
|
2025-02-20 16:06:12 +01:00 |
|
lecture09-2.md
|
Lamport 9.2: Liveness and strong fairness.
|
2025-02-20 16:06:12 +01:00 |
|
lecture10-1.md
|
Lamport 10.2: refinement mappings, auxiliary variables.
|
2025-02-21 18:20:43 +01:00 |
|
lecture10-2.md
|
Lamport 10.2: refinement mappings, auxiliary variables.
|
2025-02-21 18:20:43 +01:00 |
