The following pages link to (Q5180820):
Displayed 8 items.
- A hardware independent parallel programming model (Q843208) (← links)
- A semantics for concurrent separation logic (Q879367) (← links)
- An introduction to programming multiple-processor computers (Q1075047) (← links)
- The synchronization of independent processes (Q1228197) (← links)
- Implications of series-parallel sequencing rules (Q1242452) (← links)
- On access to temporary resources (Q4055135) (← links)
- Information system design for real-time multiprocessing systems (Q4188731) (← links)
- (Q4222882) (← links)