The following pages link to (Q4413677):
Displaying 11 items.
- Model checking a cache coherence protocol of a Java DSM implementation (Q864512) (← links)
- An axiomatic specification for sequential memory models (Q1702905) (← links)
- The safety-critical Java memory model formalised (Q1941888) (← links)
- Relationships between memory models (Q2390217) (← links)
- Complete formal specification of the OpenMP memory model (Q2457959) (← links)
- Formal specification and verification of the C\(\#\) thread model (Q2571209) (← links)
- (Q2722012) (← links)
- Java Memory Model-Aware Model Checking (Q2894274) (← links)
- A unified theory of shared memory consistency (Q3069911) (← links)
- Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making (Q5463960) (← links)
- The Java Memory Model: Operationally, Denotationally, Axiomatically (Q5756503) (← links)