Formal specification of abstract memory models (1993)

by D Dill, S Park, A G Nowatzyk
Venue:In Research on Integrated Systems : Proceedings of the 1993 Symposium