Pages that link to "Item:Q3393404"
From MaRDI portal
The following pages link to A Deadlock-Free Semantics for Shared Memory Concurrency (Q3393404):
Displaying 13 items.
- On grainless footprint semantics for shared-memory programs (Q283741) (← links)
- Effect-polymorphic behaviour inference for deadlock checking (Q338624) (← links)
- Deadlock checking by data race detection (Q465488) (← links)
- Nonblocking algorithms and preemption-safe locking on multiprogrammed shared memory multiprocessors (Q1268787) (← links)
- Bounds on shared memory for mutual exclusion (Q1317423) (← links)
- A specification structure for deadlock-freedom of synchronous processes (Q1960536) (← links)
- Corrigendum to: ``Mutual exclusion in fully anonymous shared memory systems'' (Q2094380) (← links)
- Deterministic concurrency: a clock-synchronised shared memory approach (Q2323968) (← links)
- How to share concurrent wait-free variables (Q4371684) (← links)
- Shared Memory Consistency Conditions for Nonsequential Execution: Definitions and Programming Strategies (Q4388863) (← links)
- Shared-memory mutual exclusion: major research trends since 1986 (Q5138486) (← links)
- Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs (Q5233246) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711509) (← links)