Deterministic concurrency: a clock-synchronised shared memory approach

DOI10.1007/978-3-319-89884-1_4MaRDI QIDQ2323968zbMATHOpenAlexFDO

Authors Joaquín Aguado, Michael Mendler, Marc Pouzet, Partha Roop, Reinhard von Hanxleden

Publication date 13 September 2019

Full work available at URL https://doi.org/10.1007/978-3-319-89884-1_4

zbMATH Keywords

concurrencydeterminacydata abstractionsynchronous programmingconstructive semanticsclock-synchronised shared memory

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• From concurrent multi-clock programs to deterministic asynchronous implementations
• Efficient synchronization of multiprocessors with shared memory
• Practical constructive schemes for deterministic shared-memory access
• A Deadlock-Free Semantics for Shared Memory Concurrency
• Convergence Verification: From Shared Memory to Partially Synchronous Systems
• Grounding synchronous deterministic concurrency in sequential programming
• Semantics of Deterministic Shared-Memory Systems

Cited in

(5)

• Shared Memory Consistency Conditions for Nonsequential Execution: Definitions and Programming Strategies
• Runtime verification of real-time event streams using the tool HStriver
• A Deadlock-Free Semantics for Shared Memory Concurrency
• Grounding synchronous deterministic concurrency in sequential programming
• scientific article; zbMATH DE number 23767 (Why is no real title available?)

This page was built for publication: Deterministic concurrency: a clock-synchronised shared memory approach

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