Formal specification of parallel SIMD execution
- 30 November 1996
- journal article
- Published by Elsevier BV in Theoretical Computer Science
- Vol. 169 (1), 39-65
- https://doi.org/10.1016/s0304-3975(96)00113-2
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- A Powerdomain ConstructionSIAM Journal on Computing, 1976