Pages that link to "Item:Q2011201"
From MaRDI portal
The following pages link to A denotational semantics of textually aligned SPMD programs (Q2011201):
Displaying 4 items.
- A denotational semantics of textually aligned SPMD programs (Q2011201) (← links)
- A denotational semantics for SPARC TSO (Q2130595) (← links)
- Preface to the special issue on formal approaches to parallel and distributed systems 2018 (Q2210865) (← links)
- Verified scalable parallel computing with Why3 (Q6550601) (← links)