kmsalem / Carousel-TLA Public

PlusCal/TLA+ Carousel Protocol Specification

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 38 Commits
.gitignore		.gitignore
README.md		README.md
carosol.pml		carosol.pml
carosol_deterministic.pml		carosol_deterministic.pml
carosol_nondeterministic.pml		carosol_nondeterministic.pml
carosol_with_coordinator.pml		carosol_with_coordinator.pml
carousel.tla		carousel.tla
chan.pml		chan.pml
ltl verifications.pml		ltl verifications.pml