scientific article; zbMATH DE number 107700

MaRDI QIDQ4023279zbMATH OpenFDO

Authors William W. Collier

Publication date 23 January 1993

zbMATH Keywords

computer architecturebehaviour rulesProcessor architectures

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical problems of computer architecture (68M07)

Cited in

(10)

• Reasoning about data-parallel array assignment
• Operational semantics of a weak memory model with channel synchronization
• Complete formal specification of the OpenMP memory model
• Fences in weak memory models
• Memory model sensitive bytecode verification
• How to make a microprocessor computer that correctly executes multiprocess programs
• Relationships between memory models
• The weakest memory-access order
• scientific article; zbMATH DE number 4117855 (Why is no real title available?)
• A formal hierarchy of weak memory models

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4023279)