DMCA

Relaxed memory models: an operational approach (2009)

by Gérard Boudol , Gustavo Petri , Inria Sophia Antipolis
Citations:29 - 5 self