Pages that link to "Item:Q1207949"
From MaRDI portal
The following pages link to Real-time semantics for shared-variable concurrency (Q1207949):
Displaying 6 items.
- Proving properties of real-time semaphores (Q1893540) (← links)
- (Q3814777) (← links)
- Real-time data semantics and similarity-based concurrency control (Q4571379) (← links)
- UTCP: Compositional Semantics for Shared-Variable Concurrency (Q5045469) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465879) (← links)
- Programming Languages and Systems (Q5902368) (← links)