Formal specification of parallel SIMD execution

• Authors:

• C. A. Farrell;D. H. Kieronska

• Affiliations:

• -;-

• Venue:
• Theoretical Computer Science - Special issue on theoretical computer science in Australia and New Zealand
• Year:
• 1996