Formal specification of abstract memory models (1993)

by D Dill, S Park, A Nowatzyk
Venue:In Research on Integrated Systems