Pages that link to "Item:Q5465879"
From MaRDI portal
The following pages link to FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465879):
Displaying 17 items.
- On grainless footprint semantics for shared-memory programs (Q283741) (← links)
- Abstraction for concurrent objects (Q615951) (← links)
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language (Q652158) (← links)
- Resources, concurrency, and local reasoning (Q879368) (← links)
- A shared-variable concurrency analysis of multi-threaded object-oriented programs (Q1004057) (← links)
- Real-time semantics for shared-variable concurrency (Q1207949) (← links)
- Static analysis of embedded real-time concurrent software with dynamic priorities (Q1650954) (← links)
- A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions (Q2828301) (← links)
- A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables (Q2958546) (← links)
- Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs (Q3000591) (← links)
- Granularity and Concurrent Separation Logic (Q3090832) (← links)
- A Deadlock-Free Semantics for Shared Memory Concurrency (Q3393404) (← links)
- How to share concurrent wait-free variables (Q4371684) (← links)
- (Q4493900) (← links)
- (Q4537510) (← links)
- UTCP: Compositional Semantics for Shared-Variable Concurrency (Q5045469) (← links)
- Retracing CSP (Q5262957) (← links)
