Formal specification of parallel SIMD execution

DOI10.1016/S0304-3975(96)00113-2zbMath0874.68200OpenAlexW2087298187WikidataQ127473598 ScholiaQ127473598MaRDI QIDQ1349884

D. H. Kieronska, C. A. Farrell

Publication date: 27 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(96)00113-2

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Formal specification of parallel SIMD execution

Uses Software

• MPL

Cites Work

• Unnamed Item
• A calculus of communicating systems
• Formal specification of parallel SIMD execution
• A Powerdomain Construction
• Programming as a Discipline of Mathematical Nature
• Parallelism in random access machines