Viewing profile — Aclassifier

> 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 tempora…

I watched this very interesting and amusing series of videos and learned a lot from them. I was shown practical in-use and the motivation for mathematical syntax. I know Promela an…