2 citations · 4 across the 6 of their papers we have counts for
1 paper · 1 filter
Maurice Laveaux, Tim A. C. Willemse
A monolithic process is a single recursive equation with data parameters, which only uses non-determinism, action prefixing, and recursion. We present a technique that decomposes s…