scientific article
From MaRDI portal
Publication:4023279
zbMath0759.68009MaRDI QIDQ4023279
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical problems of computer architecture (68M07)
Related Items (6)
Relationships between memory models ⋮ A formal hierarchy of weak memory models ⋮ Fences in weak memory models ⋮ Complete formal specification of the OpenMP memory model ⋮ Memory model sensitive bytecode verification ⋮ Operational semantics of a weak memory model with channel synchronization
This page was built for publication:
