The following pages link to (Q4321937):
Displaying 9 items.
- Parallel asynchronous iterations of least fixed points (Q688197) (← links)
- An example of sequentialization of a parallel algorithm (Q1262778) (← links)
- Correctness of fixpoint transformations (Q1329743) (← links)
- On unbounded delays in asynchronous parallel fixed-point algorithms (Q1668724) (← links)
- An Agda formalization of Üresin \& Dubois' asynchronous fixed-point theory (Q1791213) (← links)
- Program derivation by fixed point computation (Q1823657) (← links)
- A relaxation of Üresin and Dubois' asynchronous fixed-point theory in Agda (Q2209538) (← links)
- On serial and parallel implementations of the Erlang fixed-point iteration scheme (Q2767686) (← links)
- Certifiably Sound Parallelizing Transformations (Q2938050) (← links)