On grainless footprint semantics for shared-memory programs
From MaRDI portal
Recommendations
- A grainless semantics for parallel programs with shared mutable data
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- scientific article; zbMATH DE number 3890713
- A denotational semantics for shared-memory parallelism and nondeterminism
- Semantics of Deterministic Shared-Memory Systems
- A Deadlock-Free Semantics for Shared Memory Concurrency
- Variables as resource for shared-memory programs: semantics and soundness
- Characterising and modelling shared memory accesses in multiprocessor programs
- On bounded reachability analysis of shared memory systems
Cites work
- scientific article; zbMATH DE number 3714908 (Why is no real title available?)
- CONCUR 2004 - Concurrency Theory
- CONCUR 2004 - Concurrency Theory
- Full abstraction for a shared-variable parallel language
- How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
- Verifying properties of parallel programs
Cited in
(3)
This page was built for publication: On grainless footprint semantics for shared-memory programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q283741)