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 stable-failures 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. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Josephs, M. B. (2005). Models for data-flow sequential processes. In Lecture Notes in Computer Science (Vol. 3525, pp. 85–97). Springer Verlag. https://doi.org/10.1007/11423348_6
Mendeley helps you to discover research relevant for your work.