- 78comments
- 10comments
- 252comments
- 180comments
- 85comments
- 228comments
- 84comments
- 85comments
- —discuss
- 29comments
- 39comments
- 7comments
- 26comments
- 25comments
- 648comments
- 103comments
- 59comments
- 105comments
- 41comments
- 58comments
- 192comments
- 32comments
- 11comments
- 39comments
- —discuss
- 271comments
- 22comments
- 75comments
- 12comments
- —discuss
Time to discover communicating sequential processes instead :P
That stuff gets rediscovered all the time, the latest example probably being golang
wait this is new to me so is this like a different kind of tla?
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.
I am learning TLA+ but I do not know CSP, is CSP better?
See:
https://news.ycombinator.com/item?id=48287718
With link to pdf, github
Take a writing class. This was painful to read.