Pages that link to "Item:Q4485121"
From MaRDI portal
The following pages link to AXIOMATIC FRAMEWORKS FOR DEVELOPING BSP-STYLE PROGRAMS∗ (Q4485121):
Displaying 6 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)
- Axiomatization and characterization of BSP algorithms (Q2011205) (← links)
- BSP-style computation: A semantic investigation (Q2746271) (← links)