Pages that link to "Item:Q2549239"
From MaRDI portal
The following pages link to A comparison of two synchronizing concepts (Q2549239):
Displaying 9 items.
- Automata and concurrency (Q794437) (← links)
- The temporal semantics of concurrent programs (Q1143164) (← links)
- Information streams sharing a finite buffer: Other solutions (Q1211853) (← links)
- Proving assertions about parallel programs (Q1215264) (← links)
- Proving properties of interacting processes (Q1216173) (← links)
- On the efficient implementation of conditional critical regions, and the construction of monitors (Q1220378) (← links)
- Some comments on ''Concurrent readers and writers'' (Q1234167) (← links)
- Two implementations of the conditional critical region using split binary semaphore (Q1255779) (← links)
- Comments on: ''A comparison of two synchronizing concepts'' by P. B. Hansen (Q2561964) (← links)
