Nondeterministic Parallel Control-Flow / Definition-Use Nets and their Applications.
Jingde Cheng · 1993
This paper presents two new graph-theoretical program representations which can be used to represent control flows and/or data flows in concurrent programs as well as sequential programs. The paper also shows some possible applications of the representations in software engineering.