Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
Aclassifier
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
1.
▲
by
Aclassifier
10y ago
> 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" an
2.
▲
by
Aclassifier
10y ago
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 and CSPm some so I was curious to see more than a trivial exam