Ordering models by the inclusion of allowed behaviours
Node type
Hardware model
Language model
Formal / both
Edge type
A strictly weaker than B
Equivalent
Compiles correctly to
Incomparable
Click any node to explore
The zoo contains formal and informal memory models for hardware architectures and programming languages, ordered by the inclusion of their allowed execution behaviours.
A → B means B allows strictly more behaviours (B is weaker)