Studying Operational Models of Relaxed Concurrency

DOI10.1007/978-3-319-05119-2_15MaRDI QIDQ2830038zbMATH OpenOpenAlexFDO

Authors Gustavo Petri

Publication date 9 November 2016

Published in Trustworthy Global Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-05119-2_15

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Relaxed operational semantics of concurrent programming languages
• Theoretical Aspects of Computing - ICTAC 2004
• Models for concurrency: Towards a classification
• Observation-based concurrent program logic for relaxed memory consistency models
• Fundamentals of modelling concurrency using discrete relational structures
• Context for models of concurrency
• scientific article; zbMATH DE number 1185853
• scientific article; zbMATH DE number 967185
• scientific article; zbMATH DE number 176124
• scientific article; zbMATH DE number 1314563

Cites work

• A theory of speculative computation
• Generative operational semantics for relaxed memory models
• How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
• scientific article; zbMATH DE number 3735770 (Why is no real title available?)
• Minimal and Optimal Computations of Recursive Programs
• On the verification problem for weak memory models
• Relaxed memory models
• Studying Operational Models of Relaxed Concurrency
• The Java memory model
• What's decidable about weak memory models?

Cited in

(16)

• Stateless model checking for TSO and PSO
• An axiomatic specification for sequential memory models
• 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!
• Can we efficiently check concurrent programs under relaxed memory models in Maude?
• A theory of speculative computation
• Generative operational semantics for relaxed memory models
• Relaxed operational semantics of concurrent programming languages
• Modular relaxed dependencies in weak memory concurrency
• On the verification problem for weak memory models
• A promising semantics for relaxed-memory concurrency
• A denotational semantics for SPARC TSO
• Operational semantics of a weak memory model with channel synchronization

This page was built for publication: Studying Operational Models of Relaxed Concurrency

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