Time to discover communicating sequential processes instead :P

Yoric 7 hours ago | parent | next [-]

Nah, jump straight to pi-calculus.

usrnm 8 hours ago | parent | prev | next [-]

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

miranaproarrow 8 hours ago | parent | prev | next [-]

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

	▲	als0 8 hours ago \| parent [-]
		I've always thought CSP as a robust design pattern where you have no shared state between components and they must communicate with each other using message passing. It also requires synchronous communication (rendezvous-style). If you follow those rules you can have a pretty robust system. Aside from these abstract rules, CSP has more formal research (algebra) but I'm not sure if there are any decent tools available. TLA gives you a full toolbox and in theory can model whatever you can express. That's very different from a design pattern.

azaras 8 hours ago | parent | prev [-]

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

	▲	otterley 2 hours ago \| parent [-]
		They’re completely unrelated. The GP was making a joke.