This web page was written on:
18 March 2018
The video was produced on:
17 March 2018
Stop the video and right-click on the
following link
to download the file:
AB2H.tla
Stop the video and right-click on the following
link to download the paper, or left-click on it
to open it in a new window:
Auxiliary Variables in TLA+