Pages that link to "Item:Q2011205"
From MaRDI portal
The following pages link to Axiomatization and characterization of BSP algorithms (Q2011205):
Displaying 7 items.
- A programming model for BSP with partitioned synchronisation (Q640293) (← links)
- A bulk-synchronous parallel process algebra (Q875955) (← links)
- A calculus of functional BSP programs (Q1566918) (← links)
- Barrier synchronisation: Axiomatisation and relaxation (Q1882787) (← links)
- Preface to the special issue on formal approaches to parallel and distributed systems 2018 (Q2210865) (← links)
- A generic cost model for concurrent and data-parallel meta-computing (Q2848410) (← links)
- A Theory of Partitioned Global Address Spaces (Q2963905) (← links)