A Generic Operatonal Memory Model Specification Framework for Multithreaded Program Verification (2004)

by Y Yang, G Gopalakrishna, G Lindstrom
Venue:School of Computing, U. of Utah