Modular reasoning for deterministic parallelism

In  POPL

Details

TypeInproceedings
Pages259-270
> Publications > Modular reasoning for deterministic parallelism