18 citations · 18 across the 1 of their papers we have counts for
1 paper
Gérard Boudol, Gustavo Petri, Bernard Serpette
We propose a novel, operational framework to formally describe the semantics of concurrent programs running within the context of a relaxed memory model. Our framework features a "…