Pages that link to "Item:Q2374311"
From MaRDI portal
The following pages link to Possible values: exploring a concept for concurrency (Q2374311):
Displaying 3 items.
- A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency (Q2414249) (← links)
- Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example (Q2418046) (← links)
- Specifying and reasoning about shared-variable concurrency (Q6535828) (← links)