[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] specifying systems book, Figure 3.1 -- bug? -- seems impossible to receive in AsyncInterface

Jason Aten's confusion was caused by a sensible literal reading of the definition of the specification, if one is unfamiliar with temporal logic.  This problem was compounded by a poor choice of example in Chapter 2 of "Specifying Systems".  I have been in contact with him and I expect he will see what's going on.