On the decidability of shared memory consistency veri~cation

Author(s):  
A. Sezgin ◽  
G. Gopalakrishnan
2004 ◽  
Vol 51 (5) ◽  
pp. 800-849 ◽  
Author(s):  
Robert C. Steinke ◽  
Gary J. Nutt

1998 ◽  
Vol 27 (1) ◽  
pp. 65-89 ◽  
Author(s):  
Hagit Attiya ◽  
Soma Chaudhuri ◽  
Roy Friedman ◽  
Jennifer L. Welch

Sign in / Sign up

Export Citation Format

Share Document