A grainless semantics for parallel programs with shared mutable data

MaRDI QIDQ2852353zbMATH OpenFDO

Authors Stephen Brookes

Publication date 8 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106001976

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• On grainless footprint semantics for shared-memory programs
• CONCUR 2004 - Concurrency Theory
• A semantics for concurrent separation logic
• Full abstraction for a shared-variable parallel language
• Communicating Sequential Processes. The First 25 Years

Cited in

(8)

• On grainless footprint semantics for shared-memory programs
• A semantics for concurrent separation logic
• Retracing CSP
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
• Abstraction for concurrent objects
• A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables
• Granularity and concurrent separation logic

This page was built for publication: A grainless semantics for parallel programs with shared mutable data

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2852353)