Relaxed operational semantics of concurrent programming languages

MaRDI QIDQ4986257zbMATH OpenFDO

Authors Gérard Boudol, Gustavo Petri, Bernard Paul Serpette

Publication date 27 April 2021

Full work available at URL https://arxiv.org/abs/1208.5915, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS12.3

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• Studying Operational Models of Relaxed Concurrency
• Relaxed memory models
• Parameterized Memory Models and Concurrent Separation Logic
• A promising semantics for relaxed-memory concurrency
• Generative operational semantics for relaxed memory models

Cited in

(9)

• Operational semantics with semicommutations
• Trace semantics and algebraic laws for MCA ARMv8 architecture based on UTP
• A calculus for relaxed memory
• Studying Operational Models of Relaxed Concurrency
• Brookes is relaxed, almost!
• A promising semantics for relaxed-memory concurrency
• Operational semantics of a weak memory model with channel synchronization
• Operational semantics of a weak memory model with channel synchronization
• Parallelized sequential composition and hardware weak memory models

This page was built for publication: Relaxed operational semantics of concurrent programming languages

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