Deterministic concurrency: a clock-synchronised shared memory approach
DOI10.1007/978-3-319-89884-1_4zbMATH Open1418.68047OpenAlexW2797124159MaRDI QIDQ2323968FDOQ2323968
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
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
concurrencydeterminacydata abstractionsynchronous programmingconstructive semanticsclock-synchronised shared memory
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)
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
- Title not available (Why is that?)
- A Deadlock-Free Semantics for Shared Memory Concurrency
- Grounding synchronous deterministic concurrency in sequential programming
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)
