Pages that link to "Item:Q2945130"
From MaRDI portal
The following pages link to Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude? (Q2945130):
Displaying 7 items.
- Model checking parameterized by the semantics in Maude (Q1648886) (← links)
- Star-topology decoupled state space search (Q1749386) (← links)
- How Efficient Can Memory Checking Be? (Q3611785) (← links)
- Star-Topology Decoupling in SPIN (Q5883577) (← links)
- Operational semantics of a weak memory model with channel synchronization (Q5915975) (← links)
- Operational semantics of a weak memory model with channel synchronization (Q5918263) (← links)
- Parallelized sequential composition and hardware weak memory models (Q6045051) (← links)