[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.