Modular reasoning for deterministic parallelism

Mike Dodds, Suresh Jagannathan, and Matthew J. Parkinson

Details

Publication typeInproceedings
Published inPOPL
Pages259-270
> Publications > Modular reasoning for deterministic parallelism