Văn bản này: An Operational Framework for Specifying Memory Models using Instantaneous Instruction Execution