Pages that link to "Item:Q3069911"
From MaRDI portal
The following pages link to A unified theory of shared memory consistency (Q3069911):
Displaying 10 items.
- Implementing sequentially consistent programs on processor consistent platforms (Q436746) (← links)
- Abstraction for concurrent objects (Q615951) (← links)
- Structured development of a virtual shared memory system (Q1911316) (← links)
- Partition consistency. A case study in modeling systems with weak memory consistency and proving correctness of their implementations (Q2256965) (← links)
- Relationships between memory models (Q2390217) (← links)
- From causal consistency to sequential consistency in shared memory systems (Q2956682) (← links)
- MSO Logic for Unambiguous Shared-Memory Systems (Q3533037) (← links)
- Pervasive Theory of Memory (Q3644715) (← links)
- Shared Memory Consistency Conditions for Nonsequential Execution: Definitions and Programming Strategies (Q4388863) (← links)
- Parallelized sequential composition and hardware weak memory models (Q6045051) (← links)