TLA+ Video Course

Exercises from the TLA+ Video Course by Leslie Lamport.

Name		Name	Last commit message	Last commit date
.gitignore		.gitignore
ABProtocol.pdf		ABProtocol.pdf
ABProtocol.tla		ABProtocol.tla
ABProtocol2.pdf		ABProtocol2.pdf
ABProtocol2.tla		ABProtocol2.tla
ABSpec.tla		ABSpec.tla
DieHardJugs.pdf		DieHardJugs.pdf
DieHardJugs.tla		DieHardJugs.tla
PaxosCommitLamportAndGray.pdf		PaxosCommitLamportAndGray.pdf
PaxosCommitLamportAndGray.tla		PaxosCommitLamportAndGray.tla
README.md		README.md
SequencesExercise.pdf		SequencesExercise.pdf
SequencesExercise.tla		SequencesExercise.tla
SimpleProgram.pdf		SimpleProgram.pdf
SimpleProgram.tla		SimpleProgram.tla
TCommit.pdf		TCommit.pdf
TCommit.tla		TCommit.tla
TwoPhase.pdf		TwoPhase.pdf
TwoPhase.tla		TwoPhase.tla

Navigation Menu