A Formal Approach to Autonomic Systems Programming: The SCEL Language

Rocco De Nicola, Michele Loreti, Rosario Pugliese, Francesco Tiezzi. A Formal Approach to Autonomic Systems Programming: The SCEL Language. TAAS, 9(2):7, 2014. [doi]

Abstract

Abstract is missing.