(I wonder why Lamport’s paper ended up in Foundations of Physics after so long. He finished a first draft by October 31, 1984 and a revised version on January 21, 1986, at which point he seems to’ve let it sit around until he submitted it to FoP in 2011!)
Your “Crossposted” link is broken.
(I wonder why Lamport’s paper ended up in Foundations of Physics after so long. He finished a first draft by October 31, 1984 and a revised version on January 21, 1986, at which point he seems to’ve let it sit around until he submitted it to FoP in 2011!)