Deterministic concurrency: a clock-synchronised shared memory approach

DOI10.1007/978-3-319-89884-1_4zbMATH Open1418.68047OpenAlexW2797124159MaRDI QIDQ2323968

Michael Mendler, Joaquín Aguado, Partha Roop, Marc Pouzet, 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

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

Related Items (3)

Runtime verification of real-time event streams using the tool HStriver ⋮ Unnamed Item ⋮ A Deadlock-Free Semantics for Shared Memory Concurrency

Recommendations

• Practical constructive schemes for deterministic shared-memory access 👍 👎
• From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations 👍 👎
• A Deadlock-Free Semantics for Shared Memory Concurrency 👍 👎
• Semantics of Deterministic Shared-Memory Systems 👍 👎
• Convergence Verification: From Shared Memory to Partially Synchronous Systems 👍 👎
• Efficient synchronization of multiprocessors with shared memory 👍 👎
• Grounding Synchronous Deterministic Concurrency in Sequential Programming 👍 👎

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