Modeling robust computations in a data-flow-like style
Andrea Bondavalli, Luca Simoncini · 2003
The outline of a programming language which can be used to avoid limitations and satisfy the requirements of visibility of the application and high mapping to the physical support is presented. Its expressive power is shown through a set of examples, characteristics of robustness of the applications, as well as the possibility of describing fault-tolerant applications, are discussed and exemplified.>