[Paper] Computing Least Fixed Points with Overwrite Semantics in Parallel and Distributed Systems
We present methods to compute least fixed points of multiple monotone inflationary functions in parallel and distributed settings. While the classic Knaster-Tar...