The Java Memory Model: Operationally, Denotationally, Axiomatically
Authors:
- 1 January 2007
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 331-346
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A theory of memory models2007
- Event Structures for Resolvable Conflict2004
- Configuration Theories2002
- Refinement of actions and equivalence notions for concurrent systemsActa Informatica, 2001
- Event structure semantics for CCS and related languages1982
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981