"Get" and "Put" throughout the text. I have corrected the document on the Web site.
Thank you for pointing out the error. I hope whenever anyone finds something on
the Web site that seems to make no sense, he or she will ask me about it.
Leslie
On Saturday, February 29, 2020 at 4:46:49 PM UTC-8, Leslie Lamport wrote:
On Saturday, February 29, 2020 at 4:46:49 PM UTC-8, Leslie Lamport wrote:
The FIFOp module and FIFOp2 modules make no sense to me either. I will investigate.Leslie
On Saturday, February 29, 2020 at 1:28:29 PM UTC-8, ns wrote:Hello, I was reading about prophecy variables in the paper Hiding, Refinement, and Auxiliary Variables" and I have to admit I'm mystified as to what the def of module FIFO2 is trying to say
Why is GetP effectively carrying out a Put action? While I can see how SpecP might implement Spec I don't see how \EE p: SpecP is equivalent to Specthanks