Hillel Wayne - Concurrent Invariants Learn TLA+ (Highlights)

# Hillel Wayne - Concurrent Invariants :: Learn TLA+ (Highlights) ![rw-book-cover|256](https://readwise-assets.s3.amazonaws.com/static/images/article4.6bc1851654a0.png) ## Highlights - When we have multiple processes, TLA+ will instead create a function with a domain on the process identifiers and the range the actual values of x per process.