Generative Operational Semantics for Relaxed Memory Models.

Radha Jagadeesan Corin Pitcher James Riely

Published in: ESOP (2010)

Keyphrases

operational semantics
probabilistic model
activity diagrams
databases
optimal solution
cooperative
object oriented
discriminative methods