[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Rigid and flexible variables
The TOPLAS paper describes the temporal logic TLA,
And by the way : what has been added by Leslie Lamport to what had been discovered by Pnuelli?
The actions I guess: a certain way of combining primed and unprimed flexible variables.
But how could Pnuelli manage an algorithm without them?