Tree @
master
(
Download .tar.gz
)
..
commentary
Papers.md
README.md
Repositories.md
Webpages.md
Papers.md
@
master
—
view markup
·
raw
·
history
·
blame
TLA+ Papers
The Temporal Logic of Actions
date: 1991
authors: Leslie Lamport
url: https://archive.org/details/bitsavers_dectechrep_507277
.