Hammurabi C. Mendes

Latest

• Obtaining possible execution histories on multiple memory consistency models
• Um framework para definição e análise de modelos de consistência de memória