Pages that link to "Item:Q2830038"
From MaRDI portal
The following pages link to Studying Operational Models of Relaxed Concurrency (Q2830038):
Displaying 7 items.
- Stateless model checking for TSO and PSO (Q1683934) (← links)
- An axiomatic specification for sequential memory models (Q1702905) (← links)
- Operational semantics with semicommutations (Q2043812) (← links)
- A calculus for relaxed memory (Q2819850) (← links)
- Studying Operational Models of Relaxed Concurrency (Q2830038) (← links)
- Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude? (Q2945130) (← links)
- Operational semantics of a weak memory model with channel synchronization (Q5915975) (← links)