Ali Sezgin

List of publications from the DBLP Bibliography Server - FAQ

2005

2 EE Ali Sezgin, Ganesh Gopalakrishnan: On the decidability of shared memory consistency verification. MEMOCODE 2005: 199-208

1 EE Ali Sezgin, Ganesh Gopalakrishnan: On the definition of sequential consistency. Inf. Process. Lett. 96(6): 193-196 (2005)

2005
2	EE	Ali Sezgin, Ganesh Gopalakrishnan: On the decidability of shared memory consistency verification. MEMOCODE 2005: 199-208
1	EE	Ali Sezgin, Ganesh Gopalakrishnan: On the definition of sequential consistency. Inf. Process. Lett. 96(6): 193-196 (2005)

Coauthor Index