BIRTHDAY
2004
Springer
13 years 10 months ago
2004
Springer
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...