Directed-graph models and their application to software development

The type of directed graph considered is that developed from the work of Karp and Miller. It has separate but interconnected directed graphs to represent data flow and control flow. These graphs are particularly suited to the specification and analysis of asynchronous parallel hardware and software. The background is discussed, and a particular model is described. Its properties and applications to software development are introduced. In particular, it is useful for partitioning and debugging software, and when modifications are being considered