Title
Formal Specification of Memory Models
Catalog Number
102804029
Type
Document
Description
Blue and White series CSL-91-11 [P91-00112]
Date
1991-12
Author
Sindhu, Pradeep S.; Frailong, Jean-Marc; Cekleov, Michel
Publisher
Xerox PARC (Palo Alto Research Center)
Extent
18 pages
Category
Technical Report
Collection Title
Adele Goldberg papers
Credit
Gift of Adele Goldberg