On grainless footprint semantics for shared-memory programs

DOI10.1016/J.ENTCS.2014.10.005zbMath1337.68060OpenAlexW2054055560WikidataQ113317851 ScholiaQ113317851MaRDI QIDQ283741

Stephen Brookes

Publication date: 13 May 2016

Full work available at URL: https://doi.org/10.1016/j.entcs.2014.10.005

zbMATH Keywords

granularitydenotational semanticsconcurrencyshared memorypartial correctnessatomicityrace condition

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Full abstraction for a shared-variable parallel language
• How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
• Verifying properties of parallel programs
• CONCUR 2004 - Concurrency Theory
• CONCUR 2004 - Concurrency Theory

This page was built for publication: On grainless footprint semantics for shared-memory programs