Time to discover communicating sequential processes instead :P

fizlebit • today at 8:56 AM • 4 replies • view on HN

Yoric • today at 10:55 AM

Nah, jump straight to pi-calculus.

usrnm • today at 9:28 AM

That stuff gets rediscovered all the time, the latest example probably being golang

miranaproarrow • today at 9:40 AM

wait this is new to me so is this like a different kind of tla?

➕ show 1 reply

azaras • today at 9:48 AM

I am learning TLA+ but I do not know CSP, is CSP better?

alt Hacker News