Sign in

Modeling optimistic concurrency using quantitative dependence analysis.

Christoph von PraunRajesh BordawekarCalin Cascaval
Published in: PPOPP (2008)
Keyphrases