Pages that link to "Item:Q792754"
From MaRDI portal
The following pages link to A denotational semantics for shared-memory parallelism and nondeterminism (Q792754):
Displaying 11 items.
- On grainless footprint semantics for shared-memory programs (Q283741) (← links)
- A relational semantics for parallelism and non-determinism in a functional setting (Q408545) (← links)
- A theory for nondeterminism, parallelism, communication, and concurrency (Q1081296) (← links)
- General decidability results for asynchronous shared-memory programs: higher-order and beyond (Q2044219) (← links)
- Dealing denotationally with stream-based communication (Q2850667) (← links)
- A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables (Q2958546) (← links)
- A Deadlock-Free Semantics for Shared Memory Concurrency (Q3393404) (← links)
- MSO Logic for Unambiguous Shared-Memory Systems (Q3533037) (← links)
- (Q4372486) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465879) (← links)
- Programming Languages and Systems (Q5902366) (← links)