A declarative approach to distributed computing: Specification, execution and analysis

Jiefei Ma, Franck Le, David Wood, Alessandra Russo, Jorge Lobo. A declarative approach to distributed computing: Specification, execution and analysis. TPLP, 13(4-5):815-830, 2013. [doi]

Abstract

Abstract is missing.