Pages that link to "Item:Q3095349"
From MaRDI portal
The following pages link to Toward a Formal Semantic Framework for Deterministic Parallel Programming (Q3095349):
Displaying 6 items.
- A relational semantics for parallelism and non-determinism in a functional setting (Q408545) (← links)
- Categorical semantics of parallel program design (Q1356941) (← links)
- Semantic Correctness for a Parallel Object-Oriented Language (Q3474904) (← links)
- Formalizing Parallel Programming in Large Scale Distributed Networks: From Tasks Parallel and Data Parallel to Applied Categorical Structures (Q3647315) (← links)
- (Q3685165) (← links)
- (Q4945248) (← links)