Semantics of Deterministic Shared-Memory Systems
From MaRDI portal
Publication:3541010
DOI10.1007/978-3-540-85361-9_7zbMATH Open1160.68471OpenAlexW1508621757MaRDI QIDQ3541010FDOQ3541010
Authors: Rémi Morin 
Publication date: 25 November 2008
Published in: CONCUR 2008 - Concurrency Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-85361-9_7
Recommendations
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Petri nets, event structures and domains. I
- Mathematical Foundations of Computer Science 2005
- Modeling concurrency with partial orders
- Title not available (Why is that?)
- Time, clocks, and the ordering of events in a distributed system
- Notes on finite asynchronous automata
- Title not available (Why is that?)
- A theory of regular MSC languages
- Asynchronous mappings and asynchronous cellular automata
- Mixed product and asynchronous automata
- Title not available (Why is that?)
- Title not available (Why is that?)
- Regular sets of infinite message sequence charts
- Asynchronous cellular automata for pomsets
- An extension of the notions of traces and of asynchronous automata
- Title not available (Why is that?)
- MSO Logic for Unambiguous Shared-Memory Systems
Cited In (9)
- Deterministic concurrency: a clock-synchronised shared memory approach
- Shared Memory Consistency Conditions for Nonsequential Execution: Definitions and Programming Strategies
- On grainless footprint semantics for shared-memory programs
- A denotational semantics for shared-memory parallelism and nondeterminism
- Toward a formal semantic framework for deterministic parallel programming
- Unambiguous shared-memory systems
- Shared-memory systems and charts
- MSO Logic for Unambiguous Shared-Memory Systems
- A Deadlock-Free Semantics for Shared Memory Concurrency
This page was built for publication: Semantics of Deterministic Shared-Memory Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3541010)
