tla

Some TLA+ modules for my own study

About TLA+

The TLA+ language is described here.

The GitHub repository for code from the book can be found here.

Name		Name	Last commit message	Last commit date
Latest commit History 31 Commits
Telephone.toolbox		Telephone.toolbox
binary_search.toolbox		binary_search.toolbox
ch10_business_logic		ch10_business_logic
ch11_mapreduce		ch11_mapreduce
ch8_data_structures		ch8_data_structures
ch9_state_machines		ch9_state_machines
definitely_binary_search.toolbox		definitely_binary_search.toolbox
dekker.toolbox		dekker.toolbox
leftpad.toolbox		leftpad.toolbox
point.toolbox		point.toolbox
recycler.toolbox		recycler.toolbox
resource_consumer_example.toolbox		resource_consumer_example.toolbox
traffic.toolbox		traffic.toolbox
wire.toolbox		wire.toolbox
.gitignore		.gitignore
LICENSE		LICENSE
PT.tla		PT.tla
README.md		README.md
binary_search.tla		binary_search.tla
definitely_binary_search.tla		definitely_binary_search.tla
dekker.tla		dekker.tla
leftpad.tla		leftpad.tla
point.tla		point.tla
recycler.tla		recycler.tla
resource_consumer_example.tla		resource_consumer_example.tla
telephone.tla		telephone.tla
traffic.tla		traffic.tla
wire.tla		wire.tla