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
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