Pages that link to "Item:Q539423"
From MaRDI portal
The following pages link to Elucidating concurrent algorithms via layers of abstraction and reification (Q539423):
Displaying 8 items.
- Abstract local reasoning for concurrent libraries: mind the gap (Q283756) (← links)
- Explanation of two non-blocking shared-variable communication algorithms (Q469352) (← links)
- A consistency analysis of a class of concurrent transient implicit/explicit algorithms (Q802933) (← links)
- Balancing expressiveness in formal approaches to concurrency (Q890478) (← links)
- Script: A communication abstraction mechanism and its verification (Q1064053) (← links)
- Cheap remarks about concurrent programs (Q1648894) (← links)
- Possible values: exploring a concept for concurrency (Q2374311) (← links)
- Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example (Q2418046) (← links)