FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science

DOI10.1007/B104325MaRDI QIDQ5465879zbMATH OpenOpenAlexFDO

Authors John C. Reynolds

Publication date 12 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b104325

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

• A grainless semantics for parallel programs with shared mutable data
• scientific article; zbMATH DE number 3890713
• Compositional reasoning for shared-variable concurrent programs
• On grainless footprint semantics for shared-memory programs
• UTCP: Compositional Semantics for Shared-Variable Concurrency
• Real-time semantics for shared-variable concurrency
• A denotational semantics for shared-memory parallelism and nondeterminism

Cited in

(19)

• A shared-variable concurrency analysis of multi-threaded object-oriented programs
• Real-time semantics for shared-variable concurrency
• Static analysis of embedded real-time concurrent software with dynamic priorities
• A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions
• On grainless footprint semantics for shared-memory programs
• A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables
• Static analysis of run-time errors in embedded critical parallel C programs
• Granularity and concurrent separation logic
• A Deadlock-Free Semantics for Shared Memory Concurrency
• On specification of Read/Write shared variables
• scientific article; zbMATH DE number 1231462 (Why is no real title available?)
• How to share concurrent wait-free variables
• scientific article; zbMATH DE number 1487492 (Why is no real title available?)
• scientific article; zbMATH DE number 1761891 (Why is no real title available?)
• UTCP: Compositional Semantics for Shared-Variable Concurrency
• Retracing CSP
• Abstraction for concurrent objects
• Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
• Resources, concurrency, and local reasoning

This page was built for publication: FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5465879)