Foundations of distributed multiscale computing: formalization, specification, and analysis
scientific article; zbMATH DE number 6200463