Collaborated with:
A.J.Venet A.V.Thakur
Talks about:
determinist (1) parallel (1) fixpoint (1) comput (1)
Person: Sung Kook Kim
DBLP: Kim:Sung_Kook
Contributed to:
Wrote 1 papers:
- POPL-2020-KimVT #fixpoint #parallel
- Deterministic parallel fixpoint computation (SKK, AJV, AVT), p. 33.