The Java Memory Model: Operationally, Denotationally, Axiomatically

Publisher Website

1 January 2007

book chapter
Published by Springer Nature

p. 331-346
https://doi.org/10.1007/978-3-540-71316-6_23

Abstract

No abstract available

Keywords

This publication has 6 references indexed in Scilit:

A theory of memory models
Published by Association for Computing Machinery (ACM) ,2007
Event Structures for Resolvable Conflict
Published by Springer Nature ,2004
Configuration Theories
Published by Springer Nature ,2002
Refinement of actions and equivalence notions for concurrent systems
Acta Informatica, 2001
Event structure semantics for CCS and related languages
Published by Springer Nature ,1982
Petri nets, event structures and domains, part I
Theoretical Computer Science, 1981