Re:Systems Correctness Practices at AWS: Leveraging Formal a...
by matu3ba on Tuesday April 01, 2025 @04:15PM
(#43550877)
Thanks for the interesting insight.
1. What would you recommend to model multi-thread or multi-process problems on the same system? Is there a good read to give recommendations?
2. Is there a good overview on trade-offs between CSP, Actor model and other methods for this?
3. Are you aware of any process group models?
[ Parent
| on HN ]
There are no comments on this comment yet.