A project to investigate mechanisms and methodologies for the design and construction of communicating concurrent processes in real-time environments

Abstract

Research undertaken in 1979 into effective and appropriate mechanisms to aid in the design and construction of software for use in the flight research programs undertaken by NASA is presented