Pages that link to "Item:Q875955"
From MaRDI portal
The following pages link to A bulk-synchronous parallel process algebra (Q875955):
Displaying 7 items.
- A calculus of functional BSP programs (Q1566918) (← links)
- Map-Reduce process algebra: a formalism to describe directed acyclic graph task-based jobs in parallel environments (Q2039920) (← links)
- A generic cost model for concurrent and data-parallel meta-computing (Q2848410) (← links)
- Modeling and analysis of the performance of parallel processes in the algebra dtsPBC (Q2898944) (← links)
- Process Algebra for Parallel and Distributed Processing (Q3545001) (← links)
- Enumerated BSP Automata (Q4686652) (← links)
- Applying Formal Methods: Testing, Performance, and M/E-Commerce (Q5394040) (← links)