Pages that link to "Item:Q2852353"
From MaRDI portal
The following pages link to A grainless semantics for parallel programs with shared mutable data (Q2852353):
Displaying 8 items.
- On grainless footprint semantics for shared-memory programs (Q283741) (← links)
- Abstraction for concurrent objects (Q615951) (← links)
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language (Q652158) (← links)
- A semantics for concurrent separation logic (Q879367) (← links)
- A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables (Q2958546) (← links)
- Granularity and Concurrent Separation Logic (Q3090832) (← links)
- Retracing CSP (Q5262957) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465879) (← links)