Functional paradigm for designing dependable large-scale parallel computing systems.

Andrea Bondavalli, Luca Simoncini

Browse the full ISADS paper archive.