Rocco De Nicola, Diego Latella, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin. The SCEL Language: Design, Implementation, Verification. In Martin Wirsing, Matthias M. Hölzl, Nora Koch, Philip Mayer, editors, Software Engineering for Collective Autonomic Systems - The ASCENS Approach. Volume 8998 of Lecture Notes in Computer Science, pages 3-71, Springer, 2015. [doi]
Abstract is missing.