18 citations · 22 across the 8 of their papers we have counts for
1 paper · 1 filter
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 "…