An operational semantics including "Volatile" for safe concurrency

Journal of Object Technology

Volumn 8, Issue 4, 2009, Pages 33-51

  Boyland, John ^a  

^a UNIVERSITY OF WISCONSIN MILWAUKEE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 70349400598     PISSN: None     EISSN: 16601769     Source Type: Journal    
DOI: 10.5381/jot.2009.8.4.a2     Document Type: Article

References (0)