Enviar aquest missatge de text: An Operational Framework for Specifying Memory Models using Instantaneous Instruction Execution