2 ms·
Author 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
by ghoward 5y ago
Author 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.