A Unified Formal Specification and Analysis of the New Java Memory Models

2003 ◽  
pp. 166-185 ◽  
Author(s):  
Varsha Awhad ◽  
Charles Wallace
Keyword(s):  
Formal Specification ◽  
Memory Models

Formal Specification of Memory Models

1992 ◽  
pp. 25-41 ◽  
Author(s):  
Pradeep S. Sindhu ◽  
Jean-Marc Frailong ◽  
Michel Cekleov
Keyword(s):  
Formal Specification ◽  
Memory Models

Formal Specification and Design

1992 ◽  
Author(s):  
L. M. G. Feijs ◽  
H. B. M. Jonkers
Keyword(s):  
Formal Specification

A Measurement Modelling Framework for Complex Working Memory Models

2011 ◽  
Author(s):  
Klaus Oberauer ◽  
Jarrold Chris ◽  
Farrell Simon ◽  
Lewandowsky Stephan
Keyword(s):  
Working Memory ◽  
Memory Models ◽  
Modelling Framework ◽  
Working Memory Models
Sign in / Sign up

Export Citation Format

Share Document