A Structured Approach to Parallel Programming
Abstract
Parallel programs are ore difficult to develop and reason about thansequential programs. There are two broad classes of parallel programs: (1) programs whose specifications describe ongoing behavior and interaction with an environment, and (2) programs whose specifications describe the relation between initial and final states.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 01, 1998
- Accession Number
- ADA450828
Entities
People
- Berna Massingill
Organizations
- California Institute of Technology