The vat model addresses this directly by encouraging partitioning of algorithms into "plans", which interleave in execution while still being easily separable o

The vat model addresses this directly by encouraging partitioning of algorithms into "plans", which interleave in execution while still being easily separable onto different threads. The creators of E have a short but good paper on the basics at http://www.erights.org/talks/promises/paper/tgc05-submitted.pdf http://www.erights.org/talks/promises/paper/tgc05-submitted.... and the author of Monte explores your position in more detail at http://monte.readthedocs.io/en/latest/vats.html#why-should-we-ever-make-synchronous-calls http://monte.readthedocs.io/en/latest/vats.html#why-should-w...