> Well I respect Mr.Lamport`s point, but to prove liveness you are almost doomed to use temporal logic. I thought CSPm/FDR4 proved liveness on infinite event trails without temporal logic? Can't one extract "never" and…
> Well I respect Mr.Lamport`s point, but to prove liveness you are almost doomed to use temporal logic. I thought CSPm/FDR4 proved liveness on infinite event trails without temporal logic? Can't one extract "never" and…