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

Re: [tlaplus] Re: RandomElement fails with TLC bug



On 15.09.2016 17:48, Werner Grift wrote:
> I just found your book "Specifying Systems" which is exactly what I
> need. I did go through "The Temporal Logic of Actions", but it's to
> condense and not enough to make me understand what I am doing. I
> thought PrintT might help.

Hi,

you might also want to read the Hyperbook found at
http://research.microsoft.com/en-us/um/people/lamport/tla/hyperbook.html

Markus