Semantics of Deterministic Shared-Memory Systems

DOI10.1007/978-3-540-85361-9_7MaRDI QIDQ3541010zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• Unambiguous shared-memory systems
• MSO Logic for Unambiguous Shared-Memory Systems
• A Deadlock-Free Semantics for Shared Memory Concurrency
• Shared-memory systems and charts
• scientific article; zbMATH DE number 3890713

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)