2 ms·
A major gap in my understanding is "what class of programs does structured concurrency solve?" Put in other words, what is the Structured Programming Theorem e
by henrydark 5y ago
A major gap in my understanding is "what class of programs does structured concurrency solve?"
Put in other words, what is the Structured Programming Theorem equivalent for structured concurrency?
- ghoward 5y agoAuthor here. I have no proof of it yet (I want to create the proof), but I believe the structured concurrency equivalent of the Structured Programming Theorem could be something like this: > For all possible programs in CSP style or in async style, there exists a program that uses structured concurrency that will accomplish the same result.