On Thin Air Reads Towards an Event Structures Model of Relaxed Memory
Authors:
Open Access
- 5 July 2016
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 759-767
Abstract
No abstract availableKeywords
All Related Versions
This publication has 17 references indexed in Scilit:
- The Problem of Programming Language Concurrency Semantics2015
- GPSACM SIGPLAN Notices, 2014
- Making the java memory model safeACM Transactions on Programming Languages and Systems, 2013
- Types for relaxed memory models2012
- Mathematizing C++ concurrencyACM SIGPLAN Notices, 2011
- Generative Operational Semantics for Relaxed Memory Models2010
- The Java Memory Model: Operationally, Denotationally, AxiomaticallyLecture Notes in Computer Science, 2007
- Petri nets, event structures and domains2005
- The Java memory modelACM SIGPLAN Notices, 2005
- Event structures1987