Models for Data-Flow Sequential Processes

A family of mathematical models of nondeterministic data flow is introduced. These models are constructed out of sets of traces, successes, failures and divergences, cf. Hoare’s traces model, Roscoe’s stablefailures model and Brookes and Roscoe’s failures/divergences model of Communicating Sequential Processes. As in CSP, operators are defined that are convenient for constructing processes in the various models.

• Type: Conference
• Year: 2004
• Where: BIRTHDAY
• Authors: Mark B. Josephs
• Keywords: Applied Computing, BIRTHDAY 2004, Hoare’s Traces Model, Roscoe’s Failures/divergences Model, Roscoe’s Stablefailures Model