Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1007/11423348_6 | 25 Years Communicating Sequential Processes |
Keywords | Field | DocType |
nondeterministic data flow,stable-failures model,traces model,mathematical model,various model,divergences model,communicating sequential processes,data-flow sequential process,data flow | Nondeterministic algorithm,Communicating sequential processes,Algorithm,Theoretical computer science,Operator (computer programming),Complete lattice,Mathematical model,Mathematics,Data flow diagram | Conference |
Volume | ISSN | ISBN |
3525 | 0302-9743 | 3-540-25813-2 |
Citations | PageRank | References |
2 | 0.46 | 17 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mark B. Josephs | 1 | 302 | 35.24 |