Semantics of Deterministic Shared-Memory Systems
From MaRDI portal
Publication:3541010
Recommendations
Cites work
- scientific article; zbMATH DE number 1820085 (Why is no real title available?)
- scientific article; zbMATH DE number 4030996 (Why is no real title available?)
- scientific article; zbMATH DE number 4112050 (Why is no real title available?)
- scientific article; zbMATH DE number 177814 (Why is no real title available?)
- scientific article; zbMATH DE number 1927576 (Why is no real title available?)
- A theory of regular MSC languages
- An extension of the notions of traces and of asynchronous automata
- Asynchronous cellular automata for pomsets
- Asynchronous mappings and asynchronous cellular automata
- MSO Logic for Unambiguous Shared-Memory Systems
- Mathematical Foundations of Computer Science 2005
- Mixed product and asynchronous automata
- Modeling concurrency with partial orders
- Notes on finite asynchronous automata
- Petri nets, event structures and domains. I
- Regular sets of infinite message sequence charts
- Time, clocks, and the ordering of events in a distributed system
Cited in
(11)- Shared Memory Consistency Conditions for Nonsequential Execution: Definitions and Programming Strategies
- A Deadlock-Free Semantics for Shared Memory Concurrency
- MSO Logic for Unambiguous Shared-Memory Systems
- Grounding synchronous deterministic concurrency in sequential programming
- On grainless footprint semantics for shared-memory programs
- Deterministic concurrency: a clock-synchronised shared memory approach
- Toward a formal semantic framework for deterministic parallel programming
- Unambiguous shared-memory systems
- Shared-memory systems and charts
- An operational semantics for shared messaging communication
- A denotational semantics for shared-memory parallelism and nondeterminism
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)