Pages that link to "Item:Q2414249"
From MaRDI portal
The following pages link to A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency (Q2414249):
Displaying 6 items.
- Generalised rely-guarantee concurrency: an algebraic foundation (Q333330) (← links)
- An abstraction technique for describing concurrent program behaviour (Q1630044) (← links)
- Designing a semantic model for a wide-spectrum language with concurrency (Q1682288) (← links)
- Encoding fairness in a synchronous concurrent program algebra (Q2024348) (← links)
- General decidability results for asynchronous shared-memory programs: higher-order and beyond (Q2044219) (← links)
- Extending rely-guarantee thinking to handle real-time scheduling (Q6564175) (← links)