Pages that link to "Item:Q3069911"
From MaRDI portal
The following pages link to A unified theory of shared memory consistency (Q3069911):
Displaying 4 items.
- Implementing sequentially consistent programs on processor consistent platforms (Q436746) (← links)
- Abstraction for concurrent objects (Q615951) (← links)
- Partition consistency. A case study in modeling systems with weak memory consistency and proving correctness of their implementations (Q2256965) (← links)
- Pervasive Theory of Memory (Q3644715) (← links)